apron

APRON numerical abstract domain library
IN THIS PACKAGE

Libraries

This package provides the following libraries (via ocamlobjinfo):

apron

Documentation:

apron

Documentation:

    boxD

    Documentation:

    boxMPFR

    Documentation:

    boxMPQ

    Documentation:

    octD

    Documentation:

    octMPQ

    Documentation:

    polkaGrid

    Documentation:

    polkaMPQ

    Documentation:

    polkaMPQ

    Documentation:

      polkaRll

      Documentation:

      polkaRll

      Documentation:

        ppl

        Documentation:

        t1pD

        Documentation:

        t1pD

        Documentation:

          t1pMPFR

          Documentation:

          t1pMPFR

          Documentation:

            t1pMPQ

            Documentation:

            t1pMPQ

            Documentation: