barvinok_maximize: optionally use (basic) range propagation
commit39f0d51cd19b7caa81785b36b4990b648a594fa3
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 8 Mar 2008 20:26:18 +0000 (8 21:26 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 31 Mar 2008 10:07:34 +0000 (31 12:07 +0200)
treeeeb2ae6dba8418c9dea2084defd36599be5abbf7
parent35886ff8fb1edf0799dc7a51190a312eb07ebca4
barvinok_maximize: optionally use (basic) range propagation
Makefile.am
maximize.cc
range.cc [new file with mode: 0644]
range.h [new file with mode: 0644]