KaarPux Package: isl¶

library for manipulating sets and relations of integer points bounded by linear constraints.

Name

isl

Version

0.15

Homepage

http://isl.gforge.inria.fr/

Step

• Bootstrap 5

Definition

isl.yaml