File Type Notes
prob030-Bacp.essence Essence
curriculum.mzn MiniZinc curriculum.mzn.model to be included by mzn data files
sicstus_csplib030.pl SICStus Prolog