File Type Notes
water_buckets1.co Comet
water_buckets_regular.mzn MiniZinc
water_buckets1.mzn MiniZinc
enumerate.pl pl