The jSMTLIB project provides software and documentation for interacting with SMTLIBv2 files (cf. www.smtlib.org) and SMT solvers. It includes the following resources:
- A Java library that checks SMTLIBv2 scripts, converts them to native input formats of non-SMTLIBv2 solvers, and permits in-memory creation and manipulation of SMTLIBv2 commands and expressions;
- A command-line tool that wraps the above library;
- An Eclipse plug-in that wraps the above library;
- A user guide for the library;
- A tutorial for SMTLIBv2.
Note that there is additional information and downloads available from the project web site: jsmtlib.sourceforge.net.
This wiki for the jSMTLIB project includes further pages:
- [DevelopmentEnvironment] Instructions for creating a new development environment for contributing to jSMTLIB and a description of the Mercurial branch architecture used by the project.
- [DevelopmentProcedures] Instructions for running tests, building releases, and posting them to the public servers.
- [Licensing] Information about license terms and contributor agreements.
Project Members: