9 Pypol requires at least Python3.4. Users will first need to install Integer Set Library (isl). The source files of isl are available as a tarball or a git repository. Both are available `here`_ .
15 add link to pypi pypol documentation.
23 .. _here: http://freshmeat.net/projects/isl/