Glucose est un prouveur SAT basé sur Minisat développé par Gilles Audemard et Laurent Simon intégrant sur la notion de LBD (Literal Block Distance).

Glucose est un prouveur de l’état de l’art dans la résolution pratique de SAT : il a obtenu pas moins de 9 médailles (4 or, 3 argent et 2 bronze) lors des trois dernières compétitions internationales de prouveurs SAT.

Aller sur la page web du logiciel