tony-yang / jsmtlib Goto Github PK
View Code? Open in Web Editor NEWThis project forked from smtlib/jsmtlib
jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to many SMT solvers.
Home Page: http://smtlib.github.io/jSMTLIB