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