文件名称：cafedoku:基于CafeSat求解器的数独求解器
文件大小：6KB
文件格式：ZIP
更新时间：2024-06-14 12:22:35
Scala
Cafedoku Cafedoku是用Scala编写的求解器，它基于 SAT求解器。 CafeDoku是一个非常简单的项目，具有有限的野心，主要用于将CafeSat作为Scala库进行试验。 核心解决方案部分位于 ，包含约10行代码。 它说明了如何通过编码为SAT来优雅地解决数独问题，以及如何使用CafeSat来解决SAT实例。 用法 您可以使用sbt构建sbt ： sbt cafedoku sbt然后将生成target/cafedoku脚本，您可以使用target/cafedoku脚本在命令行模式下运行Cafedoku： ./target/cafedoku INPUT INPUT是代表数独问题的数据文件。 您可以在examples/目录中找到示例。 尝试： ./target/cafedoku examples/sudoku1.dat
【文件预览】：
cafedoku-master
----.gitignore(8B)
----project()
--------build.properties(19B)
----src()
--------main()
--------test()
----examples()
--------sudoku1.dat(90B)
--------sudoku2.dat(90B)
----README.md(891B)
----build.sbt(917B)