PaInLeSS : Framework pour la parallélisation de solveurs SAT
Équipe : MoVeCet 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 Baarirhttps://www.lrde.epita.fr/wiki/PaInleSS