* support IMath as an optional replacement for GMP
* minor AST generator improvements
- Inherits changes from ISL version 0.13
* deprecate isl_int
* improved support for multi piecewise quasi-affine expressions
* allow the user to impose a bound on the number of low-level operations
* add isl_id_to_ast_expr and isl_id_to_pw_aff
* add isl_schedule_constraints
* hide internal structure of isl_vec
* remove support for piplib
OBS-URL: https://build.opensuse.org/package/show/devel:libraries:c_c++/isl?expand=0&rev=17