verify.c: extract evalue_optimum from maximize.cc
[barvinok.git] / tests / 0D
blob34ac6dad62c9e209391d3bee1329fa8c894db929
1 D 1
2 0 2
4 F 0