File Type Notes
PPP-function.essence Essence
PPP-partition.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