isl_tab_add_valid_eq: keep track of whether equality is negated
[platform/upstream/isl.git] / pip.c
2009-08-07 Sven Verdoolaegeadd an internal parametric integer linear program solver