package touist

You can search for identifiers within the package.

in-package search v0.2.0

The solver for the Touist language

Install

sha256=859a4428ced26ed38615a606138c02ec63541cd34cf94a37b3e35d5bf46d40c4

md5=c09dd1cda8aff444889d1374636c810b

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

Sourceval ocamlqbf_of_ast : Touist.Types.Ast.t -> _ * (_, string) Hashtbl.t

Sourceval qcnf_of_cnf : Touist.Types.Ast.t -> _ * (_, string) Hashtbl.t

Sourceval solve : ?hidden:bool -> ('a * (_, string) Hashtbl.t) -> string option

Sourceval enabled : bool

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