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


Auteurs :
Gilles Audemard
Jean-Marie Lagniez
Nicolas Szczepanski

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


    • Code source

    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.