qizhou92 opened a new pull request #2048:
URL: https://github.com/apache/calcite/pull/2048

   Add dependency for z3, add two simple tests to test if native library work.
   I am new to this process, and I am not quite sure how much code I should 
push in commit to reviewing.  
   Welcome any feedback or propose, given a relatively large number of codes 
that I need to implement this function. 

This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

For queries about this service, please contact Infrastructure at:

Reply via email to