jSMTLIB

Java API for checking, manipulating and translating SMTLIB

Brought to you by: davidcok

Downloads: 0 This Week

Last Update: 2015-06-24

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

Build Agents and Models on One Platform Icon

Build Agents and Models on One Platform

Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.

Start Free

Rate This Project

Login To Rate This Project

User Reviews

Be the first to post a review of jSMTLIB!

Additional Project Details

Registered

2013-08-20

Report inappropriate content

Build Agents and Models on One Platform

Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.

Start Free

Recommended Projects

OR-Tools - Google Optimization Tools
Google's software suite for combinatorial optimization
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.
benzene
Players and solvers for the game of Hex.
On Screen Bangla Keyboard
For update version (Every week) visit https://www.aparajeyo.com/software/on-screen-bangla-keyboard/ Download Keyboard Layout Creator For Free : https://www.aparajeyo.com/software/keyboard-layout-creator/ On Screen বাংলা Keyboard ------------------------------------------------------------------- Provat Unijoy National (BD) SMT (All layouts) Soumili Lipikaar and many many more keyboard layouts !
Logic Lab
This is a suite of mathematical software solvers GUI