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.

Project Activity

See All Activity >

Follow jSMTLIB

jSMTLIB Web Site

Other Useful Business Software
Desktop and Mobile Device Management Software Icon
Desktop and Mobile Device Management Software

It's a modern take on desktop management that can be scaled as per organizational needs.

Desktop Central is a unified endpoint management (UEM) solution that helps in managing servers, laptops, desktops, smartphones, and tablets from a central location.
Learn More
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of jSMTLIB!

Additional Project Details

Registered

2013-08-20
Report inappropriate content