Check installed solvers:
poetry shell
pysmt-install --check
Install some solvers:
pysmt-install --cvc4
pysmt-install --yices
pysmt-install --z3
pysmt-install --btor
Check installed solvers:
poetry shell
pysmt-install --check
Install some solvers:
pysmt-install --cvc4
pysmt-install --yices
pysmt-install --z3
pysmt-install --btor