Python Interface for the APRON Numerical Abstract Domain Library
Project description
# apronpy
Python Interface for the [APRON Numerical Abstract Domain Library](http://apron.cri.ensmp.fr/library/).
## Getting Started
### Prerequisites
Install [APRON](https://github.com/antoinemine/apron)
Install [Python 3.x](http://www.python.org/)
### Installation
Create a virtual Python environment:
Linux or Mac OS X |———————————– |virtualenv –python=python3 <env> |Install apronpy in the virtual environment:
Linux or Mac OS X |——————————— |./<env>/bin/pip install apronpy |
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
apronpy-0.2.1.tar.gz
(14.0 kB
view hashes)
Built Distribution
apronpy-0.2.1-py3-none-any.whl
(23.0 kB
view hashes)