/* begin *

   isl 0.25 (Integer Set Library)

   isl is a thread-safe C library for manipulating sets and relations
   of integer points bounded by affine constraints. The descriptions of
   the sets and relations may involve both parameters and existentially
   quantified variables. All computations are performed in exact
   integer arithmetic using GMP.




 * end */