Links for minizinc
minizinc-2.9.3.tar.gz