apronext

Apron extension
README

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

Install
Sources
1.0.4.tar.gz
md5=1a61e232befa7e50becb03d116c883e8
sha512=6886bc6f09584b5b9e1e48f0ef2ddafdf0de9c42498d9f8c5293adfbec363706a37e4334a2b0852d1b95cb08f41c511b5a41889b94f178f46b8815f264c740a0
Dependencies
ocaml
>= "4.08"
dune
>= "2.1"
Reverse Dependencies