Requires qbf Process a CNF AST to clauses in order to solve them with Quantor.
qbf
val ocamlqbf_of_ast : Touist.Types.Ast.t ‑> Qbf.QFormula.t * (Qbf.Lit.t, string) Hashtbl.t
val qcnf_of_cnf : Touist.Types.Ast.t ‑> Qbf.QCNF.t * (Qbf.Lit.t, string) Hashtbl.t
val solve : ?hidden:bool ‑> (Qbf.QCNF.t * (Qbf.Lit.t, string) Hashtbl.t) ‑> string option
val enabled : bool
Is this library enabled? (requires qbf to be installed)