Parameter Make_pure_sat.1-Plugin

module Formula : Msat.Solver_intf.FORMULA
type proof