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.

Ce projet vise à introduire le logiciel FreeCAD pour la conception de pièces adaptées au processus de fabrication additive par dépôt de filament fondu (FFF). Il permet de définir des solides par modélisation surfacique, de définir des pièces par paramètres et contraintes, de définir des formes complexes en combinant différents outils tels que l'extrusion, la révolution, les opérations additives ou soustractives, et de comprendre les aspects de base du processus FFF.

CAP est une plateforme dédiée à l'acquisition de contraintes pour les problèmes de satisfaction de contraintes (CSP). Elle permet d'apprendre des modèles de contraintes à partir d'exemples, facilitant ainsi la modélisation de problèmes complexes. Utilisée dans des domaines comme l'optimisation, la planification ou l'intelligence artificielle, elle aide les utilisateurs à définir des règles logiques sans expertise préalable en programmation par contraintes.

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.

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.

Ce projet permet de modéliser, analyser et optimiser des géométries sous contraintes. Il facilite la création de formes complexes tout en respectant des règles spatiales ou physiques prédéfinies. Utilisé dans des domaines comme l'ingénierie, l'architecture ou la simulation, il aide à valider des designs avant leur mise en œuvre.

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.

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.

Outil dédié à la résolution de problèmes d'optimisation quadratique (QP). Il permet de modéliser et résoudre des contraintes mathématiques complexes pour trouver des solutions optimales. Utilisé dans des domaines comme la finance, l'ingénierie ou la logistique pour maximiser ou minimiser des objectifs sous contraintes.