Bibliothèque Rust fournissant des fonctions pour l'encodage de contraintes booléennes et la résolution de problèmes d'optimisation combinatoire. Prend en charge l'encodage de contraintes pseudo-booléennes, de cardinalités de sous-ensembles et la génération de formules CNF.