Python Interface for the APRON Numerical Abstract Domain Library.

• Install APRON

• Install Python 3.x

• 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