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

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

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 to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Recommended Projects

MGIZA++
mgiza has now moved to github https://github.com/moses-smt/mgiza
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
PLOOPI-Lib
A Java library for dealing with propositional and SMT formulas.
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.