Ce projet est une bibliothèque open source dédiée à la résolution de problèmes de satisfaction de contraintes (CSP) et d'optimisation combinatoire. Il permet de modéliser et résoudre des problèmes complexes comme l'ordonnancement, l'affectation de ressources ou la planification, en utilisant des algorithmes avancés de propagation de contraintes et de recherche arborescente.