Module type Sat_solver_sig.SatContainer

val src : Logs.src
module Make (_ : Theory.S) : S