The Gecode entry to the MiniZinc challenge 2014

This solver is based on the Gecode C++ constraint solving library
(version 4.2.1 + some modifications), and the Gecode/FlatZinc
interface. Both Gecode and Gecode/FlatZinc are available under the MIT
license from the web site http://www.gecode.org.

Main authors:
	Christian Schulte,
	  ICT, KTH - Royal Institute of Technology, Sweden
	Mikael Lagerkvist,
	  ICT, KTH - Royal Institute of Technology, Sweden
	Guido Tack,
	  Department of Computer Science at K.U. Leuven, Belgium

A full list of authors as well as licensing information is available from
http://www.gecode.org/gecode-doc-latest/PageLic.html.