【发布时间】：2015-06-01 08:01:05
【问题描述】：
到目前为止，我可以在 Window 上运行 Z3 以获取 cmd 中的方程组的解：
z3 -smt2 path_smt_lib_file
但是我如何在 Java 中使用 SMT-Lib 标准输入运行 Z3。提前致谢。
【问题讨论】：
【发布时间】：2015-06-01 08:01:05
【问题描述】：
您应该能够在文件夹examples/java 中的JavaExample.java 中找到您需要的所有内容。
查看API。特别是，如果您想读取 SMT2 文件，请参阅Context.parseSMTLIB2File()。
【讨论】：