Home

Resources

The jSMTLIB project produces resources for using SMT-LIB files and solvers:

• A Java library for parsing, creating, manipulating, writing, solving SMT-LIB commands and scripts
• An Eclipse plug-in that enables the above within the Eclipse IDE
• A user guide for jSMTLIB
• A tutorial to SMT-LIB These materials are all in progress, but are used by other projects.

Location

The jSMTLIB project is hosted on github.

• The github project is at https://github.com/smtlib/jSMTLIB
• The project website is at http://smtlib.github.io/jSMTLIB/
• The project wiki (this page) is at https://github.com/smtlib/jSMTLIB/wiki

Licensing and copyright

All materials are copyright by David R. Cok. The software is licensed under the Apache 2 license.