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


Authors :
Gilles Audemard
Jean-Marie Lagniez
Nicolas Szczepanski

GPL    Any category    Recent software    CSP & SAT Provers   


    • Source code

    International conferences

    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.