如何从 SMT-Lib 标准在 Java 中运行 Z3? [英] How to run Z3 in Java from SMT-Lib standard?

问题描述

到目前为止，我可以在 cmd 中在 Window 上运行 Z3 来求解方程:

Up to now, I can run Z3 to get solution of equations in cmd on Window:

z3 -smt2 path_smt_lib_file

但是我如何在 Java 中使用 SMT-Lib 标准输入运行 Z3.提前致谢.

But how I can run Z3 with SMT-Lib standard input in Java. Thank in advance.

推荐答案

您应该能够在 JavaExample.java 在文件夹 examples/java 中.

查看API.特别是，如果你想读取 SMT2 文件，请参阅

Check out the API. In particular, if you want to read an SMT2 file, see Context.parseSMTLIB2File().

这篇关于如何从 SMT-Lib 标准在 Java 中运行 Z3?的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！