isl_tab_solve_lp: invert optimal value back when computing maximum
commit5412b4df391da3fc62d1ecbfb7a092146f6d9318
authorSven Verdoolaege <sven@cs.kuleuven.be>
Wed, 16 Dec 2009 12:53:03 +0000 (16 12:53 +0000)
committerSven Verdoolaege <sven@cs.kuleuven.be>
Wed, 16 Dec 2009 12:53:03 +0000 (16 12:53 +0000)
treeb94b4a3bc1df9c312f39cb0419e8f74ac59b8a38
parented3b444376995164166ecd93e6ed1d62901d3a16
isl_tab_solve_lp: invert optimal value back when computing maximum

A maximum is computed by computing the minimum of the opposite objective
function.  The maximal value is then the opposite of the computed value.
isl_lp.c