Closed pogudingleb closed 1 year ago
Now Laurent polynomials in the input are handled automatically by the quadratization algorithm.
Now Laurent polynomials in the input are handled automatically by the quadratization algorithm.