Module Binsec.Formula_options

include Cli.S
val is_enabled : unit -> bool
module Logger : Logger.S

Remove the array theory from formula generated.

type solver =
  1. | Boolector
  2. | Bitwuzla
  3. | Z3
  4. | CVC4
  5. | Yices
module Solver : sig ... end