def __init__(self, environment, logic, **options): IncrementalTrackingSolver.__init__(self, environment=environment, logic=logic, **options) self.btor = pyboolector.Boolector() self.options(self) self.converter = BTORConverter(environment, self.btor) self.mgr = environment.formula_manager self.declarations = {} return # EOC BoolectorOptions pass
def _reset_assertions(self): self.btor = pyboolector.Boolector() self.options(self) self.converter = BTORConverter(self.environment, self.btor) self.declarations = {}