-
Heiko Becker authored
Fix checker rewrites list. Did not contain interval negation before which led to computation getting stuck on subtraction benchmarks
ed34d15e
Fix checker rewrites list. Did not contain interval negation before which led to computation getting stuck on subtraction benchmarks