Python NBJ_STD_Solverの例

コード例 #1

ファイル: Minion.py プロジェクト: rchikhi/Numberjack

 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)

コード例 #2

ファイル: Riss3g.py プロジェクト: vomrat/Numberjack

 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)

コード例 #3

ファイル: Lingeling.py プロジェクト: LimemeBA/Numberjack

 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)

コード例 #4

ファイル: Minion.py プロジェクト: LimemeBA/Numberjack

 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)