Closed hdavid16 closed 10 months ago
Should be done from the bottom up on the expression tree for best performance. However, it is currently done from the top down, which is why we run it in a loop until all clauses are in CNF.
should be fixed in v0.4.0 via recursion
Should be done from the bottom up on the expression tree for best performance. However, it is currently done from the top down, which is why we run it in a loop until all clauses are in CNF.