pFactory, a library for multithreaded SAT solvers
pFactory is a new C++ library that simplifies the design of multithreaded solvers. Particular care was given to make efficient the transfer of a large amount of information between solver units. It is easy to implement parallel solvers by using pFactory (e.g. on SAT paradigm).