alt-ergo-lib
AltErgoLib.Sat_solver_sig
module type S = sig ... end
module type SatContainer = sig ... end