add isl_int_get_str
[platform/upstream/isl.git] / isl_bernstein.c
2010-06-12 Sven Verdoolaegeoptionally (and by default) use bernstein expansion...