File Type Notes
ProgressivePartyProblem.essence Essence
ppp-problems-opb.tar.gz gz

Six variants of the problem in .opb format (suitable for lp_solve, clp(PB) and WSAT(PB))

sicstus_csplib013.pl SICStus Prolog