Use PolyLib's copy of DomainConstraintSimplify if available.
commita4eb34b374fc214ee477964c72d2cac60e1758b6
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 7 Sep 2005 16:09:06 +0000 (7 18:09 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 7 Sep 2005 16:09:06 +0000 (7 18:09 +0200)
tree545ee15ea5448fdfb2931fbc163f913f8a2e49c6
parent2ef77884d7c36ba4f5f381d3428944260edcd812
Use PolyLib's copy of DomainConstraintSimplify if available.
DomainConstraintSimplify.c [new file with mode: 0644]
barvinok/util.h
configure.in
util.c