Glucose meilleur solveur parallèle de la SAT Race 2015
Le solveur Glucose développé par Gilles Audemard (CRIL) et Laurent Simon (LaBRI) a été classé meilleur solveur parallèle de la SAT Race 2015 (et troisième dans la catégorie “résolution incrémentale”).
Les résultats de la compétition sont disponibles en ligne.