Option
The kind of a Bitwuzla configuration option.
Options are configured via a bitwuzla.Options instance,
which must be configured before creating a bitwuzla.Bitwuzla
instance.
Note
Some options are labeled as “expert” options. Use with caution.
enum
Option