【发布时间】：2015-07-16 23:50:44
【问题描述】：
我正在尝试将 Z3 中的 Maximization API 从 unstable branch 集成到我当前的 Java 项目中。
但我意识到 Java 没有接口（它适用于 C、C++ 和 Python）。我要自己添加对应的接口吗？
谢谢，
【问题讨论】：
标签： java optimization z3
【发布时间】：2015-07-16 23:50:44
【问题描述】：
我现在为不稳定分支添加了一个用于优化功能的 Java API。
【讨论】：
-
非常感谢，尼古拉！
-
This 提到了用于优化的 Python API。可以使用了吗？ z3py-opt 有教程吗？