Fixup satisfy_all arguments

cjdrake · Jul 5, 2015 · f479a48 · f479a48
1 parent 1fba64e
commit f479a48
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/pyeda/boolalg/expr.py b/pyeda/boolalg/expr.py
@@ -1389,7 +1389,9 @@ def satisfy_all(self, **params):
         propagation_limit = params.get('propagation_limit', -1)
         decision_limit = params.get('decision_limit', -1)
         seed = params.get('seed', 1)
-        yield from picosat.satisfy_all(self.nvars, self.clauses)
+        yield from picosat.satisfy_all(self.nvars, self.clauses, verbosity,
+                                       default_phase, propagation_limit,
+                                       decision_limit, seed)
 
     @staticmethod
     def soln2point(soln, litmap):