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