2024-01-06 04:41:22 +01:00
|
|
|
# libisl
|
|
|
|
|
|
2024-01-06 04:41:24 +01:00
|
|
|
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 or imath.
|
|
|
|
|
|
