pF
pFactory, une bibliothèque multithread pour les solveurs SAT
pFactory est une nouvelle bibliothèque C++ qui simplifie la conception de solveurs parallèles. Un soin particulier a été apporté pour rendre efficace le transfert d’une grande quantité d’informations entre les unités de résolution. Il est facile d’implémenter des solveurs parallèles en utilisant pFactory (par exemple, sur le paradigme SAT).
Articles de conférences internationales
2019 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.