Closed aletempiac closed 1 year ago
This PR fixes a bug: a dynamic truth table is not resized when support can be minimized by the fast support minimization function.
This PR fixes a bug: a dynamic truth table is not resized when support can be minimized by the fast support minimization function.