Perhaps one of these pages will help you:
If you have discovered a dead link on our web page, please help us fix it by reporting it through the MiniZinc web site issue tracker. Thanks!