Penelope : un nouveau solveur SAT parallèle

Venez découvrir 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.