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)