Some softwares developed for research purposes:
- Min-Fill et Min-Fill-BG: two methods for computing a tree-decomposition of a graph
- BTD-MAC+RST+Merge: a CSP solver exploiting a tree-decomposition
- RBO: a COP solver
- BenzAI: an open-source software for chemists that addresses several questions about benzenoids using artificial intelligence techniques
The other tools mentioned in my publications are available on request.