Backend (astral.Astral_internal.Config.Backend)

include Param_sig.VALUE
  with type t =
         [ `Auto
         | `Bitwuzla
         | `Bitwuzla_ext
         | `Boolector
         | `cvc5
         | `Yices2
         | `Z3
         | `Z3_ext ]

include Param_sig.VALUE_IN
  with type t =
         [ `Auto
         | `Bitwuzla
         | `Bitwuzla_ext
         | `Boolector
         | `cvc5
         | `Yices2
         | `Z3
         | `Z3_ext ]

type t = [

| `Auto
| `Bitwuzla
| `Bitwuzla_ext
| `Boolector
| `cvc5
| `Yices2
| `Z3
| `Z3_ext

]

include Param_sig.PARAM

val name : string

val short_name : char option

val help : string

val default : t

val set : t -> unit

val get : unit -> t

val values : t list

val values_with_names : (t * string) list