File Type Notes
maximum_density_still_life_cp.co Comet
maximum_density_still_life.mzn MiniZinc
maximum_still_life.pi Picat
sicstus_csplib032.pl SICStus Prolog