isl_pw_qpolynomial_intersect_domain: simplify polynomials using equalities
[platform/upstream/isl.git] / include / isl_ilp.h
2009-12-16 Sven Verdoolaegeadd copyright statements
2009-08-28 Sven Verdoolaegeadd generalized basis reduction based ILP solver