How can I use z3 in SMT-LIB format in java/eclipse? : <p>Well, I can run z3 solver in eclipse with Java binding, and the using language is Java, but I need to use the SMT-LIB format to run z3 solver in eclipse, how can I make it ?</p>

<p>I have research for something such as jSMTLIB Project, I don't know if it works. 
And this web <a href="https://stackoverflow.com/questions/30568447/how-to-run-z3-in-java-from-smt-lib-standard">How to run Z3 in Java from SMT-Lib standard?</a>, it seems similar but not the point.</p>
