GitHub - SD-JML-Float/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.

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 136 Commits
SMT		SMT
SMTFeature		SMTFeature
SMTPlugin		SMTPlugin
SMTTests		SMTTests
SMTUpdateSite		SMTUpdateSite
gradle/wrapper		gradle/wrapper
.gitignore		.gitignore
README.txt		README.txt
build.gradle.kts		build.gradle.kts
gradlew		gradlew
gradlew.bat		gradlew.bat
settings.gradle.kts		settings.gradle.kts

Repository files navigation

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


This material is based upon work supported by the National Science Foundation under Grant No. ACI-1314674.
Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.

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.

smtlib.github.io/jSMTLIB

Readme