-LinPy is a Python library for symbolic mathematics.
+LinPy is a Python wrapper for the Integer Set Library (isl) by Sven Verdoolaege. Isl ia a C library for manipulating sets and relations of integer points bounded by linear constraints.
+
If you are new to LinPy, start with the Examples.
This is the central page for all of LinPy’s documentation.
If you are new to LinPy, start with the Examples.
This is the central page for all of LinPy’s documentation.