apluslms/grading-minizinc
apluslms
自动构建
提供基于grading-base镜像的评分环境，集成特定版本的MiniZinc约束编程工具，支持相关任务的评分与求解。
下载次数: 0状态：自动构建维护者：apluslms仓库类型：镜像最近更新：7 天前
让 AI 帮你使用轩辕镜像？ · 展开查看说明 · 点击收起说明
如果你使用 DeepSeek、元宝 AI、Copilot、ChatGPT 等 AI 工具，协助配置轩辕镜像、编写 docker pull 命令、修改 Docker Compose 镜像地址、配置镜像加速、排查镜像拉取失败、分析报错日志等问题，请先让 AI 阅读并遵守轩辕镜像的规则文档。
只需在 AI 对话中先发送下面这段话即可：
请先阅读并遵守：https://xuanyuan.cloud/agents.md
未读文档前不要生成 pull 命令或排错方案。查看 agents.md 用法指南与完整示范。国内用户首推 元宝 AI、DeepSeek 的深度思考模式，不推荐豆包 AI；Cursor 等编辑器可在对话 @ 该链接，或加入 User Rules。 若 AI 无法访问外链，可 打开说明文档 复制全文粘贴。文档会随站点更新，复制内容可能过期，建议定期检查。
apluslms/grading-minizinc 镜像说明
镜像概述
该镜像基于 https://hub.docker.com/r/apluslms/grading-base/ 构建，集成了特定版本的 MiniZinc 约束编程工具链，用于创建标准化的评分环境。
核心功能
- 包含指定版本的MiniZinc工具，支持约束优化问题的建模与求解
- 继承grading-base镜像的评分环境基础能力
- 通过版本标签明确MiniZinc和grading-base的版本及更新记录
使用场景
- 教育领域中约束编程课程的作业自动化评分
- 约束优化项目的测试与评估环境搭建
- 需要标准化MiniZinc版本的开发或验证场景
配置说明
镜像标签格式为 <minizinc版本>-<grading-base版本>，其中 uN 表示镜像更新次数（N为递增数字）。例如：
2.1.7-2.0u1：MiniZinc 2.1.7 + grading-base 2.0，且为第一次更新
部署示例
Docker Run
bashdocker run --rm docker.xuanyuan.run/apluslms/grading-minizinc:2.1.7-2.0u1 minizinc --version
该命令会运行镜像并输出MiniZinc的版本信息。
Docker Compose（示例）
yamlversion: "3" services: grading: image: docker.xuanyuan.run/apluslms/grading-minizinc:2.1.7-2.0u1 command: minizinc your_model.mzn volumes: - ./models:/models
将本地模型文件挂载到容器中，运行MiniZinc求解任务。
镜像拉取方式
您可以使用以下命令拉取该镜像。请将 <标签> 替换为具体的标签版本。如需查看所有可用标签版本，请访问 标签列表页面。
轩辕镜像加速拉取命令点我查看更多 grading-minizinc 镜像标签
docker pull docker.xuanyuan.run/apluslms/grading-minizinc:<标签>
DockerHub 原生拉取命令
docker pull apluslms/grading-minizinc:<标签>
镜像拉取常见问题
功能
错误码
用户好评
来自真实用户的反馈，见证轩辕镜像的优质服务
oldzhang
运维工程师
Linux服务器
5
"Docker访问体验非常流畅，大镜像也能快速完成下载。"
