Pe
PeneLoPe
PeneLoPe stands for Parallel LBD and PSM. It is an evolution of ManySat using the notion of LBD used in Glucose to allow a better exchange of clauses.
Archived software