.. LinPy documentation master file, created by
   sphinx-quickstart on Wed Jun 25 20:34:21 2014.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

Welcome to LinPy’s documentation!
=================================

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.

Contents:

.. toctree::
   :maxdepth: 2

   install.rst
   examples.rst
   modules.rst