def __init__(self,
model=None,
X=None,
FD=False,
clause_limit=-1,
encoding=None):
NBJ_STD_Solver.__init__(self, "Minion", "Minion", model, X, FD,
clause_limit, encoding)
def __init__(self,
model=None,
X=None,
FD=False,
clause_limit=-1,
encoding=None):
NBJ_STD_Solver.__init__(self, "Riss3g", "SatWrapper", model, None, FD,
clause_limit, encoding)
self.solver_id = model.getSolverId()
self.solver.set_model(model, self.solver_id, self.Library, solver=self)
def __init__(self, model=None, X=None, FD=False, clause_limit=-1, encoding=None):
NBJ_STD_Solver.__init__(self, "Lingeling", "SatWrapper", model, None, FD, clause_limit, encoding)
self.solver_id = model.getSolverId()
self.solver.set_model(model, self.solver_id, self.Library, solver=self)
def __init__(self, model=None, X=None, FD=False, clause_limit=-1, encoding=None):
NBJ_STD_Solver.__init__(self, "Minion", "Minion", model, X, FD, clause_limit, encoding)