Module type Sat_solver_sig.SatContainer

module Make (Th : Theory.S) : S