ISL¶
Description¶
isl is a library for manipulating sets and relations of integer points bounded by linear constraints.
More information¶
- Homepage: https://libisl.sourceforge.io
Availability¶
| Module | Manneback | Lemaitre4 |
|---|---|---|
| ISL/0.24-GCCcore-11.2.0 | √ | |
| ISL/0.26-GCCcore-12.2.0 | √ | |
| ISL/0.26-GCCcore-12.3.0 | √ | |
| ISL/0.26-GCCcore-13.2.0 | √ | √ |