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).

GPL    Any category    Recent software    CSP & SAT Provers   

  • 2019 Constraints Gilles Audemard, Gael Glorian, Jean-Marie Lagniez, Valentin Montmirail, Nicolas Szczepanski, pFactory: A generic library for designing parallel solvers in International Conference on Applied Computing (AC), 2019.