Cosy : Symmetry controller

Team : MoVe

Cosy is an efficient C++ library designed to dynamically break symmetries in SAT solving. It builds upon state-of-the-art SAT solvers by integrating a symmetry controller that works in tandem with the Conflict-Driven Clause Learning (CDCL) algorithm. Cosy can be interfaced with most CDCL solvers, offering flexibility and improved performance, especially in highly symmetric SAT problem instances. It is available under an open-source GPL v3 license.

Software leader : Souheib Baarir
https://github.com/lip6/cosy