Astral_internal.BackendSelection
val priority_list : [> `Bitwuzla | `Bitwuzla_ext | `Boolector | `Yices2 | `Z3 | `Z3_ext | `cvc5 ] list
val is_available : [< `Bitwuzla | `Bitwuzla_ext | `Boolector | `Yices2 | `Z3 | `Z3_ext | `cvc5 ] -> bool
val auto_select : unit -> (module Backend_sig.BACKEND)