关于#pLY#的问题：2sat问题求解

Question

通过PLY判断出2CNF是not satisfiable，如何变成satisfiable？

Answer 1

根据字面理解报错是由于2CNF无法满足，如果要排错的话，可根据代码的报错行查找出错的变量及数据类型，并作相应的修改。