simple sat 在 python 中编写了简单的递归和迭代SAT求解器.zip

simple-sat, 在 python 中，编写了简单的递归和迭代SAT求解器 简单 SAT: 简单 python SAT求解器这个项目是一个简单的递归和迭代实现的回溯，基于观察的，SAT求解器。 代码基本上是基于knuth程序的，可以在这里找到 。 迭代代码的版本更接近于 knuth，但稍微复杂一点。 递归的版本相