def __init__(self, environment, logic, **options):
IncrementalTrackingSolver.__init__(self,
environment=environment,
logic=logic,
**options)
self.btor = boolector.Boolector()
self.options(self)
self.converter = BTORConverter(environment, self.btor)
self.mgr = environment.formula_manager
self.declarations = {}
return
def __init__(self, environment, logic, **options):
IncrementalTrackingSolver.__init__(self,
environment=environment,
logic=logic,
**options)
self.btor = boolector.Boolector()
self.btor.Set_opt("model_gen", 0)
# Disabling Incremental usage is not allowed.
# This needs to be set to 1
self.btor.Set_opt("incremental", 1)
if self.options.generate_models:
self.btor.Set_opt("model_gen", 1)
self.converter = BTORConverter(environment, self.btor)
self.mgr = environment.formula_manager
self.declarations = {}
return