package smtml

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type solver_type =
  1. | Z3_solver
  2. | Bitwuzla_solver
  3. | Colibri2_solver
  4. | Cvc5_solver
val mappings_of_solver : solver_type -> (module Mappings_intf.S_with_fresh)
val solver_type_of_string : string -> (solver_type, [> `Msg of string ]) Prelude.result
val is_available : solver_type -> bool
val available_solvers : solver_type list

List of all available solvers

val solver : ((module Mappings_intf.S_with_fresh), [> `Msg of string ]) Prelude.result

Returns first available solver or errors when none exist

val pp_solver_type : Stdlib.Format.formatter -> solver_type -> unit
OCaml

Innovation. Community. Security.