这是一个有关walksat问题的求解代码。-walksat problem solving code

解决SAT问题的经典WalkSat算法，基于linux平台开发。-Typical WalkSat algorithm designed for solving SAT problem, developed based on Linux platform.

Blackbox是通过将STRIPS的entire说明转换为布尔型满足问题的规划系统，用于解决多种当前满足的引擎，融合了约束满足和图规划技术。 -Blackbox is a planning system that works by converting problems specified in STRIPS notation into Boolean satisfiability problems, and then solving the problems with a varie