package apronext
Apron extension
Install
Dune Dependency
Authors
Maintainers
Sources
v1.0.tar.gz
md5=38b26e09339b51de160fccde1d7b6212
sha512=e447085143d5112c774985fec6058a05120660097bb5f30f91420b694d966c318475089eef3380415fe1f7789deae7f923c3d7459d0becdab7eb8e4e909d2704
README.md.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