Нажмите на ссылку MiniZInc modeler, чтобы открыть ресурс.