[SMT-LIB] jSMTLIB

cok at frontiernet.net cok at frontiernet.net
Sat Mar 5 20:42:33 EST 2011


Updated versions of the jSMTLIB user guide, library, and plugin are available at www.grammatech.com/resources/smt

Primary changes are corrections and improvements to the adapters that translate SMT-LIBv2 to native formats of non-SMT solvers (simplify, yices, cvc, z3 on Windows & Cygwin).

- David Cok


More information about the SMT-LIB mailing list