def __init__(self, log=None): "Create a solver object." self.tempfile = tempfile.TemporaryFile() self.p = picosat.picosat_init() picosat.picosat_set_verbosity(self.p, 100) picosat.picosat_measure_all_calls(self.p) self.f = picosat.picosat_set_output(self.p, self.tempfile) self.decision_limit = -1 self.last_sat_result = None
def __init__(self, environment, logic, **options): Solver.__init__(self, environment=environment, logic=logic, **options) self.mgr = environment.formula_manager self.pico = picosat.picosat_init() self.converter = None self.cnfizer = CNFizer(environment=environment) self.latest_model = None self._var_ids = {}
def __init__(self, environment, logic, user_options): Solver.__init__(self, environment=environment, logic=logic, user_options=user_options) self.mgr = environment.formula_manager self.pico = picosat.picosat_init() self.converter = None self.cnfizer = CNFizer(environment=environment) self.latest_model = None self._var_ids = {}
def __init__(self, environment, logic, **options): Solver.__init__(self, environment=environment, logic=logic, **options) self.mgr = environment.formula_manager self.pico = picosat.picosat_init() self.converter = None self.cnfizer = CNFizer(environment=environment) self.latest_model = None self._var_ids = {} self._log_file_handler = None # Initialize self.options(self)
def reset_assertions(self): picosat.picosat_reset(self.pico) self.pico = picosat.picosat_init()
def reset_assertions(self): picosat.picosat_flushout(self._log_file_handler) picosat.picosat_reset(self.pico) self.pico = picosat.picosat_init() self.options(self)
import picosat with open("/tmp/log", "w") as fout: p = picosat.picosat_init() picosat.picosat_set_verbosity(p, 100) f = picosat.picosat_set_output(p, fout) picosat.picosat_measure_all_calls(p) picosat.picosat_inc_max_var(p) picosat.picosat_add(p, 1) picosat.picosat_add(p, -1) picosat.picosat_add(p, 0) assert picosat.picosat_sat(p, -1) == picosat.PICOSAT_SATISFIABLE picosat.picosat_message(p, 0, "End") picosat.picosat_flushout(f) picosat.picosat_reset(p) print("Done.")