Menu ▾ ▴

Home

David Cok

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: