方向遍历顺序说明下一个倒序（从右往左）先处理右侧，栈里存「右侧候选」上一个正序（从左往右）先处理左侧，栈里存「左侧候选」
For SAT problems with 10 variables and 200 clauses, sometimes outputted UNSAT because it couldn't find any satisfying assignment, and it would take a lot more time to find one, which is logically sound. I don't consider this as bad reasoning as it is about performance. So I tried it with only 100 clauses and it successfully found valid assignments.
，详情可参考雷电模拟器官方版本下载
* @param n 数组长度，这一点在同城约会中也有详细论述
所有相关源码示例、流程图、模型配置与知识库构建技巧，我也将持续更新在Github：AIHub，欢迎关注收藏！。业内人士推荐im钱包官方下载作为进阶阅读