File Type Notes
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