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