Partenaires
Home page > Software > SAT solvers
SAT solvers
ManySat (in French)
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), (...)
ReViVal
ReViVal is a simplification technique of CNF formulas developed by Cédric Piette, Youssef Hamadi and Lakhdar Saïs. For more information, or to get the software, please contact Lakhdar Saïs (sais AT cril.univ-artois.fr).
LSAT
The LSAT solver was classified second during the international SAT’03 competition (category : "hand-made").
SAT4J: the satisfiability library for Java
SAT4J is a library of efficient SAT solvers for the Java platform.