dfake

This is a wrapper around dReal to make it more smt-lib compatible; sufficiently so that it can be used as an smt2 solver by jkind

...and I need to add more here.

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
build		build
dependencies		dependencies
launch		launch
src		src
test_files		test_files
.classpath		.classpath
.gitignore		.gitignore
.project		.project
LICENSE		LICENSE
README.md		README.md
dfake		dfake
dfake.bat		dfake.bat
dfake.jar		dfake.jar

Navigation Menu