code: def satisfy_all(self, **params):
          
          verbosity = params.get('verbosity', 0)
          default_phase = params.get('default_phase', 2)
          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, verbosity,
                                         default_phase, propagation_limit,
                                         decision_limit, seed)
docs: Iterate through all satisfying input points.