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: us...@infra.apache.org