usi-verification-and-security / SMTS Public

SMTS: a framework for distributed SMT and PDR, supporting lemma sharing and partitioning

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 398 Commits
.circleci		.circleci
ci		ci
gui		gui
runtest		runtest
server		server
src		src
.gitignore		.gitignore
CMakeLists.txt		CMakeLists.txt
README.md		README.md
version.sh		version.sh

Repository files navigation

SMTS

SMTS: a framework for distributed SMT and PDR, supporting lemma sharing and partitioning

No releases published

No packages published