Penelope : un nouveau solveur SAT parallèle

Venez découvrir PeneLoPe, un nouveau solveur SAT parallèle de type portfolio. En lire plus ›