AltErgoLib.Fun_sat
include Sat_solver_sig.SatContainer
module Make (Th : Theory.S) : Sat_solver_sig.S