Java API z3 opt？

Question

我正在尝试将 Maximization API in Z3 from the unstable branch 集成到我当前的 Java 项目中。

但我意识到 Java 没有接口（它适用于 C、C++ 和 Python）。要不要我自己添加相应的接口？

谢谢，

Answer 1

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