Closed davidweichiang closed 2 years ago
This is a simple bug fix. It seems counterintuitive that a rule with 100 factors but no nodes doesn't need to be factorized, but I guess that's right.
Closes #102.
This is a simple bug fix. It seems counterintuitive that a rule with 100 factors but no nodes doesn't need to be factorized, but I guess that's right.
Closes #102.