Previous  Up  Next

Module Formula

module Formula: sig .. end
Deprecated.unused
Propositional formula
type formula =
| true
| false
| Var of string (*Variable*)
| Not of formula (*Negation*)
| And of formula * formula (*And*)
| Or of formula * formula (*Or*)
Propositional logic formula
val string_of_formula : formula -> string
Convert a given formula into a string.
val latex_of_formula : formula -> string
Convert a given formula into a string (latex format).
val dimacs_of_formula : formula -> string
Convert a given formula into a string (dimacs format)