apron 20150930

Libraries

This package provides the following libraries (via ocamlobjinfo):

apron.apron

Documentation:

• Apron

apron.boxD

Documentation:

• Box

apron.boxMPQ

Documentation:

• Box

apron.boxMPFR

Documentation:

• Box

apron.octD

Documentation:

• Oct

apron.octMPQ

Documentation:

• Oct

apron.polkaMPQ

Documentation:

• Polka

apron.polkaRll

Documentation:

• Polka

apron.t1pD

Documentation:

• T1p

apron.t1pMPQ

Documentation:

• T1p

apron.t1pMPFR

Documentation:

• T1p

apron.disjPk

Documentation: