package smtml

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type solver_type =
  1. | Z3_solver
  2. | Cvc5_solver
  3. | Colibri2_solver
  4. | Bitwuzla_solver
val mappings_of_solver : solver_type -> (module Mappings_intf.S_with_fresh)
val solver_type_of_string : string -> (solver_type, [> `Msg of string ]) result
val pp_solver_type : Format.formatter -> solver_type -> unit
OCaml

Innovation. Community. Security.