package touist

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

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

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

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

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

val enabled : bool

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