适用于z3的Java API选择？

Question

我正在尝试将Maximization API中的unstable branch从{{3}}集成到我当前的Java项目中。

但我意识到Java没有接口（适用于C，C ++和Python）。我可以自己添加相应的界面吗？

谢谢，

Answer 1

我现在为不稳定分支添加了用于优化功能的Java API。