/smt-playground

Fooling around with SMT solvers. Nothing fancy.

Primary LanguagePythonMIT LicenseMIT

Check installed solvers:

poetry shell
pysmt-install --check

Install some solvers:

pysmt-install --cvc4
pysmt-install --yices
pysmt-install --z3
pysmt-install --btor