def satisfy_all(self, **params):
        """Iterate through all satisfying input points."""
        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)
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 )
Iterate through all satisfying input points.