SSMT

Exact Symbolic Reasoning for Nonlinear Stochastic SMT via Cylindrical Algebraic Decomposition

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
TB		TB
CAD.py		CAD.py
README.md		README.md
SSMT.py		SSMT.py
auxiliary_func.py		auxiliary_func.py
dominate.py		dominate.py
merge.py		merge.py
parse_CAD.py		parse_CAD.py
runner.py		runner.py
sat_equiv.py		sat_equiv.py
time_count.py		time_count.py

Provide feedback