点击MiniZInc modeler链接打开资源。