PaInLeSS : Framework pour la parallélisation de solveurs SAT
https://www.lrde.epita.fr/wiki/PaInleSS

Équipe : MoVe

Cet outil écrit en C++ simplifie l'implémentation et l'évaluation de nouveaux solveurs pour des environnements multi-coeurs. Les composants peuvent être instanciés indépendamment pour produire un nouveau solveur SAT .

Responsable : Souheib Baarir
https://www.lrde.epita.fr/wiki/PaInleSS
Mentions légales
Carte du site