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



GPL    Toute catégorie    Logiciels récents    Prouveurs CSP & SAT   


  • 2019 Contraintes 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.