edan01 This is stuff from a course in constaint programming at University of Lund. Add the minizinc/bin folder to your path and run m2n-g12mip file.mzn (or some of the other commands) on any of the files to try it out.