yanntm / jSMTLIB

jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to many SMT solvers.

http://smtlib.github.io/jSMTLIB

Geek Repo

Github PK Tool

jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API

About

jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to many SMT solvers.

http://smtlib.github.io/jSMTLIB

Languages

Language:Java 82.8%Language:SMT 9.7%Language:HTML 2.5%Language:Scilab 2.2%Language:CSS 1.0%Language:Python 1.0%Language:Shell 0.9%Language:Roff 0.0%