Python Interface

• Classes

  • Options

  • TermManager

  • Bitwuzla

  • Sort

  • Term

  • OptionInfo

• Enums

  • Option

  • OptionInfoKind

  • Kind

  • Result

  • RoundingMode