jSMTLIB Project

The jSMTLIB project develops Java libraries and tools to support the SMT-LIB standard. This page lists the resources available.

• A tutorial about the SMT-LIB language.
• A software application and library for using SMT-LIB. (Past versions are here).
• A User Guide for the application, library, and plug-in.
• An Eclipse update site for an Eclipse plug-in that is a wrapper for the jSMTLIB library and is a GUI tool for using SMT-LIB and SMT solvers.

jSMTLIB is hosted at github:

• The github project is at https://github.com/smtlib/jSMTLIB
• The github project page (this page) is at http://smtlib.github.io/jSMTLIB/.
• The github wiki is at https://github.com/smtlib/jSMTLIB/wiki. The wiki describes the development procedures for jSMTLIB, among other matters.

Support for some of the development of these resources was provided by GrammaTech, Inc., a user of SMT tools and a creator and vendor of program analysis research and tools.

LICENSE

If you use the software in publicly presented or published work, please acknowledge the contribution of jSMTLIB.

The Tutorial and UserGuide available here are copyright by David Cok.

This page is located at smtlib.github.io/jSMTLIB.

DISCLAIMER

ALL CONTENT, SERVICES, PRODUCTS AND SOFTWARE PROVIDED ON THIS WEB SITE ARE PROVIDED "AS IS" AND "WITH ALL FAULTS" WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESS OR IMPLIED. YOU ARE SOLELY RESPONSIBLE FOR THE APPROPRIATENESS OF THE SITE, ITS CONTENT, AND THE PRODUCTS AND SERVICES PROVIDED ON THE SITE FOR YOUR INTENDED APPLICATION AND USE.