sig
module Env : Env.S
val given_clause_step : ?generating:bool -> int -> Saturate.szs_status
val given_clause :
?generating:bool ->
?steps:int -> ?timeout:float -> unit -> Saturate.szs_status * int
val presaturate : unit -> Saturate.szs_status * int
end