Penelope : un nouveau solveur SAT parallèle

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

Venez découvrir PeneLoPe](http://www.cril.univ- artois.fr/~hoessen/penelope.html “PeneLoPe”), un nouveau solveur SAT parallèle de type portfolio.

Voici certaines de ses caractéristiques :

- Efficace (utilise toutes les dernières techniques pour SAT + technique basée sur les mesures PSM et LDB pour l’échange de clauses)

- Facile à utiliser

- Entièrement configurable via un fichier de configuration (pas besoin de toucher au code source)

- Mode déterministe

- En plein d’autres choses excitantes…

Pour découvrir la PeneLoPe, c’est par ici.