Metadata-Version: 2.1
Name: apronpy
Version: 0.7.2
Summary: Python Interface for the APRON Numerical Abstract Domain Library
Home-page: https://github.com/caterinaurban/apronpy
Author: Caterina Urban
Author-email: caterina.urban@gmail.com
License: UNKNOWN
Platform: UNKNOWN
Description-Content-Type: text/markdown

# 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` | 



