msolve

一个正在开发中的数独求解库

目标

提高性能，可能通过使用 SIMD 和或 GPU 实现

添加数独难度评级，可能通过计算求解所需的迭代次数实现

添加从种子数独生成数独

用法

获取输入中每个数独的第一个解：msolve solve_one < sudokufile.txt > output.txt

获取输入中每个唯一可解数独的解：msolve solve_unique < sudokufile.txt > output.txt

获取输入中每个数独的前 N 个解：msolve solve_n N < sudokufile.txt > output.txt

获取数独文件的信息：msolve info < sudokufile.txt

info 的示例输出：0 解：486451，1 解：763，2+ 解：12786

列出所有具有单个唯一解的谜题：msolve find_with_single_solution < sudokufile.txt > output.txt

列出具有至少一个唯一解的所有谜题：msolve find_with_solution < sudokufile.txt > output.txt

获取每个谜题的解的数量，最多为 N：msolve count_solutions N < sudokufile.txt > output.txt