jSMTLIB is a Java tool and API that enables working with SMTLIB benchmarks (cf. www.smtlib.org). Users can parse and type-check SMTLIB files, create and manipulate the SMTLIB expressions and scripts programmatically, and submit the SMTLIB scripts to various SMT solvers for checking. jSMTLIB provides translations to some non-SMTLIB compliant SMT solvers.
Follow jSMTLIB
You Might Also Like
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of jSMTLIB!