Home

Jump to bottom

David Cok edited this page Dec 24, 2015 · 5 revisions

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.