bddapron

Logico-numerical domain(s) based on BDDs and APRON
Legend:
Library
Module
Module type
Parameter
Class
Class type
Manual
module type Level0 = sig ... end
module type Level1 = sig ... end
module Make (Level0 : Level0) : sig ... end