The jSMTLIB project develops Java libraries and tools to support the SMT-LIB standard. This page lists the resources available.
jSMTLIB is hosted at github:
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.
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.
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.