No Description

Jonas Weinz 2d8c0ee1f7 fixed runtime libraries 7 months ago
docs 80af099825 updated documentation 3 years ago
lib b7d2d64960 added fake libraries 7 months ago
sphinx-doc eac9963532 link to pypi and github in the documentation 3 years ago
src 3375da126e Make a Python2/Python3 compatible module 3 years ago
.gitignore 09f1482375 fix version (had a line break at the end) 3 years ago
CHANGES.txt 6dc3fe1fe3 changes, readme and 0.5.beta 3 years ago
LICENSE.txt d12676a067 CHANGES, LICENSE. MANIFEST, README 3 years ago
MANIFEST.in 13e6146e95 add _static in MANIFEST.in and bump version 3 years ago
README.rst fbb1e8a919 add link in the README about the documentation 3 years ago
bld.bat 2d0d0e02c0 conda build stuff 7 months ago
create_libpython.sh 2d0d0e02c0 conda build stuff 7 months ago
environment.sh 50e416c97b fixed include path 7 months ago
meta.yaml 2d8c0ee1f7 fixed runtime libraries 7 months ago
setup.py 3f847c9745 made setup.py win_cython compatible 7 months ago
version.txt 13e6146e95 add _static in MANIFEST.in and bump version 3 years ago
win_build.sh 2d0d0e02c0 conda build stuff 7 months ago

README.rst

PPL Python wrapper
==================

This Python package provides a wrapper to the C++ `Parma Polyhedra Library
(PPL) `_.

The whole package started as a fork of a tiny part of the `Sage
`_ software.

How it works
------------

The names of objects and methods are the same as in the library:

.. code:: python

>>> import ppl
>>> x = ppl.Variable(0)
>>> y = ppl.Variable(1)
>>> z = ppl.Variable(2)
>>> cs = ppl.Constraint_System()
>>> cs.insert(x >= 0)
>>> cs.insert(y >= 0)
>>> cs.insert(z >= 0)
>>> cs.insert(x + y + z == 1)
>>> poly = ppl.C_Polyhedron(cs)
>>> poly.minimized_generators()
Generator_System {point(1/1, 0/1, 0/1), point(0/1, 1/1, 0/1), point(0/1, 0/1, 1/1)}

Installation
------------

The project is available at `Python Package Index `_ and
can be installed with pip::

$ pip install pplpy

Source
------

You can find the latest version of the source code on github:
https://github.com/videlec/pplpy/

Documentation
-------------

The documentation is available at http://pythonhosted.org/pplpy/

Requirements
------------

- PPL library with headers files

- `gmp `_

- `Cython `_

On Debian/Ubuntu systems these can be installed with::

$ sudo apt-get install cython libgmp-dev libppl-dev