GeMini

Logiciel de fouille de donnée réalisé à l'aide de techniques de propagation de contraintes (CSP, SAT, PBS, ...