Gecode : http://www.gecode.org
Copyright (C) 2002-2005, Christian Schulte, Guido Tack, Mikael Lagerkvist, Gabor Szokoli & Patrick Pekczynski