There's Souffle[1] that can synthesize C++ for you that you then compile with the rest of your C++. [1]: https://souffle-lang.github.io/ https://souffle-lang.g

There's Souffle[1] that can synthesize C++ for you that you then compile with the rest of your C++. [1]: https://souffle-lang.github.io/ https://souffle-lang.github.io/