Pe
Penelope
Penelope est une évolution de ManySat utilisant la notion de LBD utilisée dans Glucose pour permettre un meilleur échange de clauses.
Logiciels archivés