def setUp(self):
self.solver = Solver(threads=2)
def setup(self, clauses, m, threads=1):
from pycryptosat import Solver
solver = Solver(threads=threads)
solver.add_clauses(clauses.as_list())
return solver
def setUp(self):
self.solver = Solver()
