package apron

  1. Overview
  2. Docs

apron 20150820

Libraries

This package provides the following libraries (via ocamlobjinfo):

apron.apron

Documentation:

apron.boxD

Documentation:

apron.boxMPQ

Documentation:

apron.boxMPFR

Documentation:

apron.octD

Documentation:

apron.octMPQ

Documentation:

apron.polkaMPQ

Documentation:

apron.polkaRll

Documentation:

apron.t1pD

Documentation:

apron.t1pMPQ

Documentation:

apron.t1pMPFR

Documentation:

apron.disjPk

Documentation:

    OCaml

    Innovation. Community. Security.