Libabsolute.Solver
Functor parametrized by an abstract domain and defines the three main solving functions
module Make (D : Signature.Domain) : sig ... end
module Default : sig ... end
Default configuration of the solver