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