SAT求解器的预处理（化简）学习

SAT问题的预处理对很对问题的求解是非常重要的。

预处理的主要原理：奇偶性和基数性约束推理