Exemplo n.º 1
0
 def test_getAvailableSolvers(self):
     if self.zchaff:
         self.assertEqual({'ZChaff', 'MiniSat'},
                          SatSolverFactory.available_solvers())
     else:
         self.assertEqual({'MiniSat'}, SatSolverFactory.available_solvers())
Exemplo n.º 2
0
 def test_getAvailableSolvers(self):
     self.assertEqual({"ZChaff", "MiniSat"}, SatSolverFactory.available_solvers())