xsymjz的博客

3sat的GSAT搜索算法。阅读标准cnf文件，返回无解或变量真值表。