ScaSearch est une bibliothèque open source développée en Scala qui implémente des algorithmes avancés de résolution de problèmes inspirés de l'intelligence artificielle. Elle permet de modéliser et résoudre des défis complexes comme les puzzles, les jeux de stratégie ou les problèmes de satisfaction de contraintes. Basée sur des principes théoriques modernes, elle offre des outils pour automatiser la prise de décision et l'optimisation dans divers domaines techniques et scientifiques.

Bibliothèque open source dédiée à la résolution de problèmes d'optimisation linéaire via l'algorithme du simplexe. Elle permet de traiter des problèmes de maximisation ou minimisation sous contraintes d'inégalités ou d'égalités, avec des variables positives ou négatives. Utilisable en tant que plugin pour le logiciel Icy ou comme bibliothèque autonome en Java, elle s'adresse aux chercheurs et développeurs en bioimagerie ou en analyse de données nécessitant des solutions optimales pour des modèles mathématiques complexes.

Panoramyx est un framework C++ conçu pour simplifier la résolution de problèmes de programmation par contraintes en parallèle. Il permet aux développeurs de modéliser et résoudre des problèmes complexes en exploitant des techniques avancées de décomposition et d'optimisation, tout en offrant une intégration facile dans des projets existants via des outils comme CMake et vcpkg.

Outil dédié à la résolution de problèmes de satisfaction de contraintes (CSP) et à la validation de propriétés logiques sur des modèles formels. Il permet d'analyser des systèmes critiques en vérifiant leur cohérence et en générant des contre-exemples ou des preuves de validité. Développé dans le cadre d'un projet de recherche financé par l'ANR, il s'appuie sur des techniques avancées de logique et de satisfiabilité.

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 open source dédiée à la résolution de problèmes d'optimisation linéaire via l'algorithme du simplexe. Elle permet de traiter des problèmes de maximisation ou minimisation sous contraintes d'égalité ou d'inégalité, avec des variables positives ou négatives. Principalement utilisée dans le domaine de la bioimagerie pour modéliser et résoudre des scénarios complexes, elle s'intègre facilement dans des logiciels tiers ou fonctionne en tant qu'outil autonome en Java.

Mimosa est un outil dédié à l'optimisation de signaux épars et à la résolution de problèmes de moindres carrés sous contraintes de parcimonie. Il implémente des algorithmes avancés de Branch and Bound pour trouver des solutions optimales, ainsi que des méthodes de screening (comme GapSafe) pour accélérer les calculs. Le projet s'appuie sur des techniques publiées dans des articles scientifiques pour traiter des formulations variées (P2/0, P0/2, P2+0) et propose des comparaisons avec des solveurs comme CPLEX.

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.

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.