API Documentation

Bitwuzla provides APIs for several programming languages. The C++ interface is Bitwuzla’s primary interface, the C and Python APIs are built as thin wrappers on top of the C++ API.

• C++ API Documentation
  • C++ Interface
  • Options
  • Term Kinds
  • Quickstart
  • Examples
• C API Documentation
  • C Interface
  • Options
  • Term Kinds
  • Parser
  • Quickstart
  • Examples
• Python API Documentation
  • Python Interface
  • Quickstart
  • Examples
• OCaml API Documentation
  • OCaml Package
  • OCaml Interface
  • Quickstart
  • Examples