package z3

  1. Overview
  2. Docs
type simplifier
val get_help : simplifier -> string
val get_num_simplifiers : context -> int
val get_simplifier_names : context -> string list
val get_simplifier_description : context -> string -> string
val mk_simplifier : context -> string -> simplifier
val and_then : context -> simplifier -> simplifier -> simplifier list -> simplifier
val using_params : context -> simplifier -> Params.params -> simplifier
OCaml

Innovation. Community. Security.