package msat

  1. Overview
  2. Docs
type atom
type 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_xor : t -> t -> t
val make_imply : t -> t -> t
val make_equiv : t -> t -> t
val make_cnf : t -> atom list list
val print : Format.formatter -> t -> unit