apronpy

Python Interface for the APRON Numerical Abstract Domain Library.

Getting Started

Prerequisites

• Install APRON

• Install Python 3.x

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