package msat

  1. Overview
  2. Docs
type clause
val export : Format.formatter -> hyps:clause Vec.t -> history:clause Vec.t -> local:clause Vec.t -> unit
val export_icnf : Format.formatter -> hyps:clause Vec.t -> history:clause Vec.t -> local:clause Vec.t -> unit