Apronext
This package provides an extension for the OCaml
interface
of the apron library. It is
meant to make its use easier, efficiency is not the purpose.
It provides several utilities, such as higher order functions over the
different earray
types, plus a large set of constructors meant
to make your life easier.
Documentation
you can build it locally by doing make doc
or consult the online documentation
build
- the library : make
- the documentation locally : make doc