LinPy is a polyhedral library for Python based on isl.
The Integer Set Library (isl) is a C library for manipulating sets and relations of integer points bounded by linear constraints.
LinPy is a polyhedral library for Python based on isl.
The Integer Set Library (isl) is a C library for manipulating sets and relations of integer points bounded by linear constraints.