Solver Type Module. This module defines types and utilities for working with different SMT solvers, including parsing, pretty-printing, availability checks, and mapping retrieval.
val of_string : string -> (t, [> `Msg of string ]) Smtml_prelude.resultof_string s attempts to convert the string s into a solver type. Returns Ok solver if successful, or an error message otherwise.
val conv : t Cmdliner.Arg.convconv provides a command-line argument converter for solver types.
val is_available : t -> boolis_available solver checks whether the given solver is available in the current environment.
val to_mappings : t -> (module Mappings.S_with_fresh)to_mappings solver retrieves the corresponding solver mappings module for the given solver type.