La Programmation Par Contraintes (PPC) est une technologie permettant la résolution de problèmes de configuration et d'optimisation sous contraintes. A la croisée de l'Intelligence Artificielle et de la Recherche Opérationnelle, cette approche par composants permet de construire des applications performantes et évolutives. Nous développons des modèles très performants en intégrant des composants avancés (contraintes globales dédiées, heuristiques de recherche, recherche locale, etc.). Nous utilisons différents solveurs, dont Choco Solver que nous développons conjointement avec l'IMT Atlantique.
La Programmation Linéaire (PL) est une technologie issue de la Recherche Opérationnelle pour résoudre des problèmes fortement combinatoires. Nous développons des modèles en variables continues, entières ou mixtes et intégrons des schémas avancés de résolution (Branch and Cut, Hybridation PPC, etc.). Nous utilisons à la fois des solveurs commerciaux et open source.
Nous développons des algorithmes sur mesure efficaces pour répondre au mieux à vos besoins : algorithmes gloutons, méta-heuristiques, etc. Même lorsque nous ne reposons pas sur un solveur, notre culture Programmation Par Contraintes nous aide à concevoir des algorithmes évolutifs et fiables.