Links for minizinc-ide