package touist

  1. Overview
  2. Docs

Requires qbf Process a CNF AST to clauses in order to solve them with Quantor.

val ocamlqbf_of_ast : Touist.Types.Ast.t -> _ * (_, string) Hashtbl.t
val qcnf_of_cnf : Touist.Types.Ast.t -> _ * (_, string) Hashtbl.t
val solve : ?hidden:bool -> ('a * (_, string) Hashtbl.t) -> string option
val enabled : bool

Is this library enabled? (requires yices2 to be installed)