Cliquer sur Page du logiciel Minizinc (pour download et user guide) pour ouvrir la ressource.