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's documentation is available here: http://linpy.readthedocs.org/
+LinPy's documentation is available here: http://linpy.readthedocs.org/.