4 LinPy is a polyhedral library for Python based on isl.
5 The Integer Set Library (isl) is a C library for manipulating sets and relations of integer points bounded by linear constraints.
7 LinPy's documentation is available here: http://linpy.readthedocs.org/.