jSMTLIB

Java API for checking, manipulating and translating SMTLIB

Brought to you by: davidcok

Downloads: 0 This Week

Last Update: 2015-06-24

Add to Preferred Sources

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 Data Resilience - Take the Assessment Today Icon

Build Data Resilience - Take the Assessment Today

Can you recover when it matters most? Take this quick assessment to identify gaps and build greater recovery confidence.

Is your recovery strategy as strong as you think? Take this quick self-assessment to check your recovery readiness and gain tailored insights. In only 2 minutes, you'll learn where you fall on the recovery readiness scale.

Take the Assessment

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

Recommended Projects

Moses SMT Decoder
The Moses repository has moved: https://github.com/moses-smt/mosesdecoder Factored phrase-based, hierarchical and syntax decoder for statistical machine translation
RSAT
A script to perform SAT attacks on RSA
Souper
A superoptimizer for LLVM IR
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.
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 !