如何從SMT-Lib標準運行Java中的Z3？

Question

到現在爲止，我可以運行Z3，以獲取有關窗口在cmd中解方程：

z3 -smt2 path_smt_lib_file 

但我怎麼能在Java SMT-Lib的標準輸入運行Z3。預先感謝。

Answer 1

您應該能夠在文件夾examples/java中的JavaExample.java中找到所需的全部內容。

查看API。特別是，如果您想讀取SMT2文件，請參閱Context.parseSMTLIB2File()。