add isl_union_map_apply_union_pw_qpolynomial

[barvinok.git] / parker / count_solutions.h

double count_solutions(Relation& r);