package msat

  1. Overview
  2. Docs
type formula = F.t
type proof = F.proof
type level
val dummy : level
val current_level : unit -> level
val backtrack : level -> unit
val if_sat : (formula, proof) Theory_intf.slice -> unit
OCaml

Innovation. Community. Security.