PySAT convert a logical formula into a CNF without using Tseitin transformation
I have been using python’s library PySAT to create formulas, but I have been getting wrong results using this library’s solver. This is demo code to better explain the issue: