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)
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.")
def reset_assertions(self):
picosat.picosat_reset(self.pico)
self.pico = picosat.picosat_init()
