Closed joschkabraun closed 3 years ago
Hi, I noticed that higher_order isn't used for x_out and that it would lead to an error once higher_order is implemented and used.
Thanks! Yes that was a left-behind typo after we removed the (untested) higher-order CNF variant.
Hi, I noticed that higher_order isn't used for x_out and that it would lead to an error once higher_order is implemented and used.