热门搜索:
movesrwth/carl
movesrwth
CArL - 计算机算术与逻辑库（基于storm-basesystem的master-14变体，适用于storm相关场景）
1 次收藏下载次数: 0状态：社区镜像维护者：movesrwth仓库类型：镜像最近更新：2 年前
让 AI 帮你使用轩辕镜像？ · 展开查看说明
如果你使用 DeepSeek、元宝 AI、Copilot、ChatGPT 等 AI 工具，协助配置轩辕镜像、编写 docker pull 命令、修改 Docker Compose 镜像地址、配置镜像加速、排查镜像拉取失败、分析报错日志等问题，请先让 AI 阅读并遵守轩辕镜像的规则文档。
只需在 AI 对话中先发送下面这句话即可：
请先完整阅读并严格遵守以下文档中的全部规则与要求：
https://xuanyuan.cloud/agents.md
在未充分阅读并理解该文档前，不要生成任何命令、配置、修改建议、故障排查方案或技术回答。后续所有输出都必须严格以该文档中的规范为最高优先级执行。查看 agents.md 用法指南与完整示范。国内用户首推 元宝 AI、DeepSeek 的深度思考模式，不推荐豆包 AI；Cursor 等编辑器可在对话 @ 该链接，或加入 User Rules。 若 AI 无法访问外链，可 打开说明文档 复制全文粘贴。文档会随站点更新，复制内容可能过期，建议定期检查。
CArL Docker镜像文档
镜像概述
本镜像为CArL（Computer ARithmetic and Logic library）的Docker化版本，基于storm-basesystem镜像构建（master-14变体），专门适用于storm相关应用场景。storm-basesystem基础镜像可通过https://hub.docker.com/r/movesrwth/storm-basesystem%E8%8E%B7%E5%8F%96%EF%BC%8CCArL%E9%A1%B9%E7%9B%AE%E8%AF%A6%E7%BB%86%E4%BF%A1%E6%81%AF%E5%8F%82%E8%A7%81https://github.com/smtrat/carl%E3%80%82
核心功能与特性
- 提供计算机算术与逻辑运算的基础库支持
- 基于master-14变体构建，确保与storm环境的兼容性
- 继承storm-basesystem的基础系统环境，便于快速集成到相关工作流
使用场景
- storm应用开发与运行环境
- 需要计算机算术与逻辑运算库支持的科研或工程项目
- 依赖CArL库的应用容器化部署
使用方法与配置说明
获取与构建
目前未直接提供公开镜像拉取地址，建议通过以下方式使用：
- 从https://hub.docker.com/r/movesrwth/storm-basesystem%E8%8E%B7%E5%8F%96%E5%9F%BA%E7%A1%80%E9%95%9C%E5%83%8F
- 参考https://github.com/smtrat/carl%E4%B8%AD%E7%9A%84%E6%9E%84%E5%BB%BA%E6%8C%87%E5%8D%97%EF%BC%8C%E5%9C%A8%E5%9F%BA%E7%A1%80%E9%95%9C%E5%83%8F%E4%B8%8A%E6%9E%84%E5%BB%BACArL%E7%8E%AF%E5%A2%83
运行与配置
具体运行参数需根据实际应用场景配置，建议参考：
- CArL项目官方文档（GitHub仓库中提供）
- storm-basesystem镜像的使用说明
- 相关应用的容器化部署需求文档
依赖说明
该镜像依赖storm-basesystem基础环境，使用前需确保基础镜像已正确配置。
镜像拉取方式
您可以使用以下命令拉取该镜像。请将 <标签> 替换为具体的标签版本。如需查看所有可用标签版本，请访问 标签列表页面。
DockerHub 原生拉取命令
docker pull movesrwth/carl:<标签>
镜像拉取常见问题
功能
错误码
用户好评
来自真实用户的反馈，见证轩辕镜像的优质服务
oldzhang
运维工程师
Linux服务器
5
"Docker访问体验非常流畅，大镜像也能快速完成下载。"