Quelques logiciels développés dans le cadre de mes activités de recherche :
- Min-Fill et Min-Fill-BG : deux méthodes permettant de calculer une décomposition arborescente de graphe
- BTD-MAC+RST+Merge : un solveur CSP exploitant une décomposition arborescente
- RBO : un solveur COP
- BenzAI : un logiciel libre pour les chimistes qui répond à plusieurs questions sur les benzénoïdes en utilisant des techniques d'intelligence artificielle
Les autres outils cités dans mes publications sont disponibles à la demande.