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