ConfigReader (astral.Astral_internal.ConfigReader)

val get_location_encoding : unit -> (module Location_sig.LOCATIONS)

val get_set_encoding : unit -> (module SetEncoding_sig.SET_ENCODING)

val get_backend_aux : 
  [< `Auto
  | `Bitwuzla
  | `Bitwuzla_ext
  | `Boolector
  | `Yices2
  | `Z3
  | `Z3_ext
  | `cvc5 ] ->
  (module Backend_sig.BACKEND)

val get_backend : unit -> (module Backend_sig.BACKEND)

val get_incremental_backend : unit -> (module Backend_sig.BACKEND)

val get_encoding : unit -> (module Translation_sig.ENCODING)