package msat

  1. Overview
  2. Docs
module Term : sig ... end
module Formula : sig ... end
type proof
val dummy : Formula.t
val fresh : unit -> Formula.t
val neg : Formula.t -> Formula.t
val norm : Formula.t -> Formula.t * bool
OCaml

Innovation. Community. Security.