Summary

MiniZinc: A portable language for optimization problems using constraint programming. Developed at Monash University. Applications include configuration, scheduling, time-tabling, rostering, 2D/3D packing, cutting, frequency allocation, cryptanalysis.