Option --check to check whether a solver is visible by pysmt.
Option --check to check whether a solver is visible by pysmt.

chubbymaggie/pysmt,agriggio/pysmt,idkwim/pysmt,agriggio/pysmt,pysmt/pysmt,pysmt/pysmt,idkwim/pysmt,chubbymaggie/pysmt