An extension for the OCaml interface of the Apron library
Published: 13 Mar 2021
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.
you can build it locally by doing
make doc or consult the online documentation
the library : make
the documentation locally : make doc