PFactory est une bibliothèque parallèle conçue pour faciliter l'implémentation de solveurs parallèles en C++. Elle fournit des implémentations robustes d'algorithmes parallèles et permet un partage facile d'informations, ainsi que des méthodes de type divide-and-conquer ou portfolio. pFactory n'est pas liée à un problème spécifique et peut être facilement intégrée pour résoudre tout type de problème combinatoire (SAT, CSP, MAXSAT...).