package msat

  1. Overview
  2. Docs

Parameters

module F : Formula_intf.S

Signature

type t
type atom = F.t
val f_true : t
val f_false : t
val make_atom : atom -> t
val make_not : t -> t
val make_and : t list -> t
val make_or : t list -> t
val make_imply : t -> t -> t
val make_equiv : t -> t -> t
val make_xor : t -> t -> t
val make_cnf : t -> atom list list
val print : Format.formatter -> t -> unit
OCaml

Innovation. Community. Security.