jSMTLIB

Java API for checking, manipulating and translating SMTLIB

Brought to you by: davidcok

Add a Review

Downloads: 1 This Week

Last Update: 2015-06-24

Download

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

99.99% Uptime for MySQL and PostgreSQL Databases

Sub-second maintenance. 2x read/write performance. Built-in vector search for AI apps.

Cloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.

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
ASCEND modelling environment
ASCEND is a modelling environment and solver for large or small systems of non-linear equations, for use in engineering, thermodynamics, chemistry, physics, mathematics and biology. Solvers for both steady and dynamic (NLA & DAE) problems, are provid
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.