Ce projet fournit une interface OCaml pour interagir avec Google OR-Tools, une suite logicielle dédiée à la résolution de problèmes d'optimisation combinatoire. Il permet aux développeurs de modéliser et résoudre des problèmes complexes comme la planification de ressources, l'ordonnancement de tâches ou la gestion de contraintes logistiques. L'outil est particulièrement utile pour les secteurs nécessitant une optimisation fine des processus, comme la logistique, la production ou la gestion de projets.

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.

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.

Plateforme de recherche opérationnelle pour l'acquisition de contraintes, permettant la résolution de problèmes d'optimisation combinatoire, l'apprentissage de contraintes à partir d'exemples et la génération de requêtes pour l'apprentissage.