Links for gecode-3
gecode-3-3.7.3.tar.gz