Up to now, I can run Z3 to get solution of equations in cmd on Window:
z3 -smt2 path_smt_lib_file
But how I can run Z3 with SMT-Lib standard input in Java. Thank in advance.
You should be able to find all you need in JavaExample.java
in the folder examples/java
.
Check out the API . In particular, if you want to read an SMT2 file, see Context.parseSMTLIB2File()
.
The technical post webpages of this site follow the CC BY-SA 4.0 protocol. If you need to reprint, please indicate the site URL or the original address.Any question please contact:yoyou2525@163.com.