Metadata-Version: 2.1
Name: apronpy
Version: 1.0.5
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
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` | 
        
        
Platform: UNKNOWN
Description-Content-Type: text/markdown
