Added support for using default logic if the solver (or quantifier eliminator) does not have a most generic logic
Added support for using default logic if the solver (or quantifier eliminator) does not have a most generic logic

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