Removed BddSolver.exit() leaving the default behavior of Solver.exit()
Removed BddSolver.exit() leaving the default behavior of Solver.exit()

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