通过PLY判断出2CNF是not satisfiable,如何变成satisfiable?
根据字面理解报错是由于2CNF无法满足,如果要排错的话,可根据代码的报错行查找出错的变量及数据类型,并作相应的修改。