Installation

Run the following command

pip install git+https://github.com/Lizn-zn/pysmt.git@Bottema
pip install [email protected]:Lizn-zn/MT_Solver.git

Test

Run python test/test.py to test all solvers

mtsolve --fpath ./test/cases/3.smt --z3 "--timeout 5"

mtprove --fpath ./test/cases/3.smt --tsds "--timeout 5"

Name		Name	Last commit message	Last commit date
Latest commit History 74 Commits
.vscode		.vscode
mtsolver		mtsolver
test		test
.gitignore		.gitignore
MANIFEST.in		MANIFEST.in
README.md		README.md
setup.py		setup.py
test.mpl		test.mpl
test.sh		test.sh