目录
- .githooks添加 CI 与协作模板3天前
- .github添加 CI 与协作模板3天前
- cmd添加 SAT 建模 CLI 演示3天前
- docs完善组合约束示例文档3天前
- examples完善组合约束示例文档3天前
- .gitignore初始化 MoonSatKit 项目骨架3天前
- AGENTS.md初始化 MoonSatKit 项目骨架3天前
- CHANGELOG.md完善组合约束示例文档3天前
- LICENSE初始化 MoonSatKit 项目骨架3天前
- README.mbt.md修正 README MoonBit 示例格式3天前
- README.md初始化 MoonSatKit 项目骨架3天前
- ROADMAP.md补充设计文档与社区差异说明3天前
- moon.mod初始化 MoonSatKit 项目骨架3天前
- moon.pkg初始化 MoonSatKit 项目骨架3天前
- moonsatkit.mbt添加 N 皇后 SAT 编码示例3天前
- moonsatkit_test.mbt添加 N 皇后 SAT 编码示例3天前
邀请码
版权所有：中国计算机学会技术支持：开源发展技术委员会
京ICP备13000930号-9
京公网安备 11010802047560号
MoonSatKit
MoonSatKit is a MoonBit SAT modeling, CNF encoding, DIMACS, and explainable DPLL toolkit.
See
README.mbt.mdfor MoonBit package documentation.