Fix Canonical Simplifier (#5505)
authorYao Wang <kevinthesunwy@gmail.com>
Mon, 4 May 2020 15:26:17 +0000 (08:26 -0700)
committerGitHub <noreply@github.com>
Mon, 4 May 2020 15:26:17 +0000 (08:26 -0700)
commit6bbab4ca7b200d2174f51034580768804a12872e
tree49e643ec7f4f09b86db64aa67f9036ffbc2b7335
parent0abf5812c9c7cc21f673565ceee097623512a167
Fix Canonical Simplifier (#5505)
src/arith/canonical_simplify.cc
tests/python/unittest/test_arith_canonical_simplify.py