ManySat est un solveur parallèle de type DPLL incluant toute les fonctionnalités des solveurs SAT modernes (analyse de conflits, heuristique basée sur les activités, etc.) et celles issues de nos résultats récents sur l’amélioration des techniques d’analyse de conflits. Une description succinte du projet est disponible.

Ce solveur est le fruit d’une collaboration entre Youssef Hamadi de Microsoft Cambridge (UK), Saïd Jabbour et Lakhdar Saïs du CRIL.

Pour obtenir le logiciel (binaire uniquement), contacter Saïd Jabbour (jabbour AT cril.univ-artois.fr) ou Lakhdar Saïs (sais AT cril.univ-artois.fr).