pyapron

Python API for numerical abstract domains manipulation


Keywords
abstract-domain, abstract-interpretation, apron, convex-polyhedron, numerical-domain, python, static-analysis
License
Other
Install
pip install pyapron==0.6

Documentation

pyApron: a Python API for Apron

Build Status