Cosy : Contrôleur de symétries

Équipe : MoVe

Cosy est une bibliothèque C++ efficace conçue pour casser dynamiquement les symétries dans la résolution de problèmes SAT. Elle s'appuie sur des solveurs SAT de l'état de l'art en intégrant un contrôleur de symétrie qui fonctionne de manière complémentaire avec l'algorithme CDCL (Conflict-Driven Clause Learning). Cosy peut être intégré à la plupart des solveurs CDCL, offrant flexibilité et performance améliorée, notamment dans les instances SAT hautement symétriques. Elle est disponible sous licence open-source GPL v3.

Responsable : Souheib Baarir
https://github.com/lip6/cosy