barvinok_count: simplify constraints after removing equalities
commit1db67d6704438c288723c4f9c660c5969d184f74
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 3 Aug 2006 20:54:21 +0000 (3 22:54 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 3 Aug 2006 21:19:55 +0000 (3 23:19 +0200)
tree5055837f4c2edc3abfe070731dae791204cd36c2
parentfce976b654c4bd1371079dfe046872ef40e9f7d8
barvinok_count: simplify constraints after removing equalities
barvinok.cc