[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
The APRON PPL library is an APRON wrapper around the Parma Polyhedra Library (PPL). The wrapper offers the convex polyhedra and linear congruences abstract domains.
Use of APRON PPL Allocating APRON PPL managers APRON PPL standard options