数独解算器 使用回溯搜索来解决数独难题 BYU的CS 470人工智能课程的作业。 基本框架是由克里斯·阿奇博尔德（Chris Archibald）博士创建和提供的。 利用回溯搜索的原理，包括： 最小剩余值（MRV）和启发式算法，以确定接下来要分配的变量 最小约束值确定应选择值的顺序 前向检查和AC-3尽早发现不可避免的故障