isl_map_simplify.c: check_for_div_constraints: also check for "better" ones

[isl.git] / .gitmodules

[submodule "piplib"]
        path = piplib
        url = git://repo.or.cz/piplib.git