Python SatSolverFactory.available_solvers Beispiele

Beispiel #1

 def test_getAvailableSolvers(self):
     if self.zchaff:
         self.assertEqual({'ZChaff', 'MiniSat'},
                          SatSolverFactory.available_solvers())
     else:
         self.assertEqual({'MiniSat'}, SatSolverFactory.available_solvers())

Beispiel #2

Datei: testSatSolverFactory.py Projekt: xgillard/pynusmv

 def test_getAvailableSolvers(self):
     self.assertEqual({"ZChaff", "MiniSat"}, SatSolverFactory.available_solvers())