Hello Calcite developers,
I am a Berkeley student working on a new version for the [Cosette SQL
prover](https://cosette.cs.washington.edu/).
This [new implementation](https://github.com/cosette-solver/cosette-rs)
aims for higher performance and better SQL feature coverage.
One goal for us is to
Shuxian,
It would be great to carry on this integration. I downloaded and built your
project. (I also opened a pull request[1], adding a maven wrapper and a README.)
It’s difficult to get at the RelNodes in RelOptRulesTest if you’re outside
Calcite. (Because it is a test, we don’t currently inc
Hi Julian,
Thank you very much for looking into our project! Currently Arthur Pan
is the maintainer of cosette-parser, and he is
doing something similar to what you suggest: basically getting the
`relBefore` and `r` in line 124 and 144 of RelOptTestBase.java, and
outputting JSON to the prove
