jSMTLIB

Java API for checking, manipulating and translating SMTLIB

Brought to you by: davidcok

Add a Review

Downloads: 0 This Week

Last Update: 2015-06-24

Download

Get an email when there's a new version of jSMTLIB

jSMTLIB is a Java tool and API that enables working with SMTLIB benchmarks (cf. www.smtlib.org). Users can parse and type-check SMTLIB files, create and manipulate the SMTLIB expressions and scripts programmatically, and submit the SMTLIB scripts to various SMT solvers for checking. jSMTLIB provides translations to some non-SMTLIB compliant SMT solvers.

Project Activity

See All Activity >

Follow jSMTLIB

jSMTLIB Web Site

Other Useful Business Software

Get the most trusted enterprise browser

Advanced built-in security helps IT prevent breaches before they happen

Defend against security incidents with Chrome Enterprise. Create customizable controls, manage extensions and set proactive alerts to keep your data and employees protected without slowing down productivity.

Download Chrome

Rate This Project

User Reviews

Be the first to post a review of jSMTLIB!

Additional Project Details

Registered

2013-08-20

Report inappropriate content

Recommended Projects

OpenSolver
An open source Solver-compatible optimization engine for Microsoft Excel on Windows and Mac using the Coin-OR CBC linear and integer programming optimizer. You can also use other solvers like Gurobi (if you have it installed), solvers on the NEOS cloud, and various non-linear solvers are supported too.
Java Wizard API
The purpose of this project is to create an easy to use framework (API) for creating wizards in java. The api allows users to creates a series of gui panels and then proceed through the panels in a dynamic fashion as well as constraining and checking da
Tolgee Platform
An open-source localization platform developers enjoy working with. Because it saves a lot of time you would spend on localization tasks without it because it enables you to provide perfectly translated software. Add translations in the code, and translate them directly in the app with the...
Code_TYMPAN
Code_TYMPAN™ is an open source software for calculating industrial noise in the environment. It allows dealing with 3D realistic geometries and has a convenient Human Machine Interface to help engineers to build 3D models and to achieve analysis needed in environmental noise studies....
Blaiz Tools
Tools for packing files, converting images, manipulating text, checking code and working with the Gossamer codebase and app source code.