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

$300 Free Credits for Your Google Cloud Projects Icon

$300 Free Credits for Your Google Cloud Projects

Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.

Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.

Start Free Trial

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

$300 Free Credits for Your Google Cloud Projects

Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.

Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.

Start Free Trial

Recommended Projects

ProjectMath
ProjectMath is a project that includes solvers for many functions from algebra and geometry..
sexpr
This library is intended to provide a minimal C/C++ API to efficiently create, manipulate, and parse LISP-style symbolic expressions.
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.
SimpleNumericalLibrary
A simple matrix and vector library. It contain basic matrix and vector operations, linear and non-linear system solvers, gauss integrator, and others.
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 !