7 lines
317 B
Markdown
7 lines
317 B
Markdown
# libisl
|
|
|
|
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.
|
|
|