GitHub - smtlib/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.

4 Branches 4 Tags

Name	Name	Last commit message	Last commit date
Latest commit davidcok Adding a .gitattributes to contorl line endings Oct 20, 2021 a109b10 · Oct 20, 2021 History 140 Commits
SMT	SMT	Incorporating changes from OpenJML copy	Oct 12, 2021
SMTFeature	SMTFeature	Changing version number to 0.9.10.5	Aug 13, 2021
SMTPlugin	SMTPlugin	Changing version number to 0.9.10.5	Aug 13, 2021
SMTTests	SMTTests	Ignoring temp files	Apr 21, 2020
SMTUpdateSite	SMTUpdateSite	Updating SMT update site	Aug 13, 2021
gradle/wrapper	gradle/wrapper	Add build script and load files from resource folder	Aug 14, 2019
.gitattributes	.gitattributes	Adding a .gitattributes to contorl line endings	Oct 20, 2021
.gitignore	.gitignore	Adding a test framework	May 5, 2020
README.txt	README.txt	Adding NSF disclaimer	May 16, 2017
build.gradle.kts	build.gradle.kts	Add build script and load files from resource folder	Aug 14, 2019
gradlew	gradlew	Add build script and load files from resource folder	Aug 14, 2019
gradlew.bat	gradlew.bat	Add build script and load files from resource folder	Aug 14, 2019
settings.gradle.kts	settings.gradle.kts	Add build script and load files from resource folder	Aug 14, 2019

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

Activity

Custom properties

26 stars

5 watching

16 forks

Report repository