Restored extra option handling for SMT2 wrapper solvers
Restored extra option handling for SMT2 wrapper solvers

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