Exemplos de SatSolverFactory.available_solvers em Python

Exemplo n.º 1

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

Exemplo n.º 2

Arquivo: testSatSolverFactory.py Projeto: xgillard/pynusmv

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