package apronext

You can search for identifiers within the package.

in-package search v0.2.0

Apron extension

Install

Dune Dependency

github.com Readme Edit opam file Versions (5)

Authors

G

Ghiles Ziat <ghiles.ziat@isae-supaero.fr

Maintainers

G

Ghiles Ziat <ghiles.ziat@isae-supaero.fr

Sources

md5=38b26e09339b51de160fccde1d7b6212

sha512=e447085143d5112c774985fec6058a05120660097bb5f30f91420b694d966c318475089eef3380415fe1f7789deae7f923c3d7459d0becdab7eb8e4e909d2704

doc/README.html

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.

build

the library : make
the documentation : make doc