Skip to main content

Python PPL wrapper

Project description

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:

>>> 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/

Requirements

On Debian/Ubuntu systems these can be installed with:

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

Project details


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

pplpy-0.6.tar.gz (392.6 kB view details)

Uploaded Source

File details

Details for the file pplpy-0.6.tar.gz.

File metadata

  • Download URL: pplpy-0.6.tar.gz
  • Upload date:
  • Size: 392.6 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No

File hashes

Hashes for pplpy-0.6.tar.gz
Algorithm Hash digest
SHA256 85e2c6d2cd0212054090d0cb4ac6409c467bf72fd2e9c7ad6f411012b62903f9
MD5 7fb7978c9f080c2e5ae7dcbfe8bd55fc
BLAKE2b-256 a104cfbed5feb14334dac039af48ef18be5f6a8dc534b946079361c396aa8fc9

See more details on using hashes here.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page