sources of the PeneLoPe Boolean satisfiability solver