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.
apronext