PaInLeSS : Framework pour la parallélisation de solveurs SAT

É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://github.com/lip6/painless