Merge pull request #378 from pysmt/i364/set_option

Removed Solver.set_options
pysmt · Oct 21, 2016 · e43f3cf · e43f3cf
2 parents 20c62c6 + e313fad
commit e43f3cf
Showing 1 changed file with 0 additions and 8 deletions.
diff --git a/pysmt/solvers/solver.py b/pysmt/solvers/solver.py
@@ -299,14 +299,6 @@ def get_py_values(self, formulae):
             res[f] = v
         return res
 
-    def set_options(self, options):
-        """Sets multiple options at once.
-
-        :param options: Options to be set
-        :type options: Dictionary
-        """
-        raise NotImplementedError
-
     def __enter__(self):
         """Manages entering a Context (i.e., with statement)"""
         return self