cafedoku:基于CafeSat求解器的数独求解器

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