AltErgoLib.Fun_sat_frontend
include Sat_solver_sig.SatContainer
val src : Logs.src
module Make (_ : Theory.S) : Sat_solver_sig.S