File Type Notes
battleships.ecl ECLiPSe
sb.mzn MiniZinc
sicstus_csplib014.pl SICStus Prolog