D4v2 est un outil d'analyse et de résolution de problèmes d'optimisation combinatoire, particulièrement adapté à la génération de partitions de graphes et à l'analyse de formules booléennes. Il offre une grande flexibilité grâce à sa capacité à gérer différents types de heuristiques et de méthodes de résolution.

NACRE est un solveur de contraintes écrit en C++ conçu pour expérimenter l'enregistrement de dead-ends avec un moteur de raisonnement de clauses dans la programmation par contraintes. Les structures de données du solveur ont été soigneusement conçues pour gérer les dead-ends et les clauses. NACRE a remporté la première place au concours XCSP3 2018 dans la catégorie MiniTrack.

Stereo2vec is a project that converts stereo audio data into vector space representations, enabling various audio-related use cases such as music genre classification, speech recognition, and sound event detection.

Crustabri est une implémentation en RUST d'un raisonneur pour les réseaux d'argumentation abstraits. Le projet contient une bibliothèque et deux exécutables. La bibliothèque permet de créer et de modifier des réseaux d'argumentation statiques et dynamiques, et d'exécuter des requêtes sur ceux-ci. L'un des exécutables, `crustabri`, permet diverses opérations sur des réseaux d'argumentation d'entrée. Le second exécutable, `crustabri_iccma23`, est un wrapper pour Crustabri compatible avec les exigences de la compétition [ICCMA'23](https://argumentationcompetition.org/2023/index.html).

CoQuiAAS est un outil d'aide à la décision pour la logistique et la gestion de flottes de véhicules. Il permet de résoudre des problèmes logistiques complexes en optimisant les itinéraires de véhicules et en gérant efficacement les flottes.

UNIvERSE est une bibliothèque JAVA proposant des interfaces génériques pour la résolution de problèmes de satisfaction de contraintes (SAT, PB, CSP). Elle offre une interface unifiée pour créer des solveurs suivant le patron de conception factory.

Outil d'agrégation de croyances. Ce projet est une nouvelle implémentation de deux outils existants dédiés aux bases de croyances, l'un dédié à la fusion (bm2cnf) et l'autre à la révision (br2cnf).

DSyrup est un solveur SAT distribué original basé sur le paradigme portfolio. Ce solveur, dédié au travail sur de nombreux cœurs, implémente un nouveau modèle de programmation distribuée hybride entièrement à partir de Syrup. dSyrup utilise un modèle de programmation hybride. Dans les modèles hybrides, les processus s'exécutant sur le même ordinateur communiquent via la mémoire partagée (pthreads) et les messages (MPI) sont utilisés uniquement pour communiquer entre les ordinateurs.

Ipafair-sys est une API incrémentale dédiée aux solveurs de cadres d'argumentation (AF). Il imite l'interface IPASIR pour les solveurs de SAT incrémentiels, mais est spécifiquement adapté aux dynamiques des cadres d'argumentation. Ce projet fournit des liens Rust pour l'API IPAFAIR.