package apronext

  1. Overview
  2. Docs
Apron extension

Install

Dune Dependency

Authors

Maintainers

Sources

v1.0.tar.gz
md5=38b26e09339b51de160fccde1d7b6212
sha512=e447085143d5112c774985fec6058a05120660097bb5f30f91420b694d966c318475089eef3380415fe1f7789deae7f923c3d7459d0becdab7eb8e4e909d2704

Description

An extension for the OCaml interface of the Apron library

Published: 12 Sep 2020

README

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

Dependencies (3)

  1. apron < "0.9.15"
  2. ocaml >= "4.08"
  3. dune >= "2.1"

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.