package msat

  1. Overview
  2. Docs

Parameters

module Dummy : sig ... end

Signature

module St : sig ... end
module Proof : sig ... end
type atom = St.formula
exception UndecidedLit
val assume : ?tag:int -> atom list list -> unit
val solve : ?assumptions:atom list -> unit -> res
val unsat_core : Proof.proof -> St.clause list
val true_at_level0 : atom -> bool
val get_tag : St.clause -> int option
val print_clause : Format.formatter -> St.clause -> unit
val print_dot : Format.formatter -> Proof.proof -> unit
val print_dedukti : Format.formatter -> Proof.proof -> unit
OCaml

Innovation. Community. Security.