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

You Might Also Like
Passwordless authentication enables a secure and frictionless experience for your users | Auth0 Icon
Passwordless authentication enables a secure and frictionless experience for your users | Auth0

Make your login flow seamless with Passwordless

Over two-thirds of people reuse passwords across sites, resulting in an increasingly insecure e-commerce ecosystem. Learn how passwordless can not only mitigate these issues but make the authentication experience delightful. Implement Auth0 in any application in just five minutes
Sign up
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