VOptSolver est un outil dédié à la résolution de problèmes complexes d'optimisation combinatoire. Il permet aux entreprises et chercheurs de modéliser et résoudre des défis logistiques, industriels ou décisionnels en trouvant des solutions optimales ou approchées. Utilisé dans des secteurs comme la supply chain, la planification de production ou la gestion de ressources, il simplifie l'analyse de scénarios pour améliorer l'efficacité et réduire les coûts.

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.

ScaDCOP est une bibliothèque Scala dédiée à la résolution de problèmes d'optimisation distribuée sous contraintes (DCOP). Elle permet à des agents autonomes de collaborer pour trouver des solutions optimales à des problèmes complexes, comme l'allocation de ressources ou la planification, en échangeant des informations et en ajustant leurs choix dynamiquement.

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.

Chebyshev est une bibliothèque et un ensemble d'outils dédiés à la géométrie non euclidienne et à l'optimisation de distances. Il permet de calculer des trajectoires optimales, d'analyser des réseaux complexes et de modéliser des mouvements dans des espaces contraints. Utilisé en informatique théorique, robotique et logistique, il facilite la résolution de problèmes de cheminement et de planification.

Ce projet propose des instances de problèmes d'optimisation pour des robots collecteurs de récompenses. Il inclut des contraintes temporelles et de précédence afin de modéliser des scénarios réalistes pour la planification de tâches robotisées. Les données générées permettent d'évaluer et de comparer des algorithmes de résolution dans ce domaine spécifique.

Un outil de gestion de projet et de maintenance interne permettant de planifier, suivre et coordonner les tâches assignées aux membres de l'équipe, favorisant une communication efficace et une résolution rapide des problèmes.