Fixed shortcuts to use contexts avoiding the problem of destroying the solver
Fixed shortcuts to use contexts avoiding the problem of destroying the solver

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