Module `DolmenIntf.Smtlib`

val pp : 
  ?name:string ->
  ?logic:Logic.t ->
  ?status:[ `Sat | `Unknown | `Unsat ] ->
  term list Fmt.t