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