Very nice presentation. Another extensive list of examples: http://www.hakank.org/minizinc/