dose3.common
Dose_common.EdosSolver
Edos sat solver
dose3.algo
dose3.versioning
module type S = sig ... end
generic failure reason
module type T = sig ... end
Sat solver functor type
module M (X : S) : T with module X = X
functor