Bitwuzla
0.8.1
  • Installation and Build Instructions
  • Command Line Interface
  • API Documentation
    • C++ API Documentation
    • C API Documentation
    • Python API Documentation
    • OCaml API Documentation
      • OCaml Package
      • OCaml Interface
      • Quickstart
      • Examples
  • References
Bitwuzla
  • API Documentation
  • OCaml API Documentation

OCaml API Documentation

  • OCaml Package
  • OCaml Interface
  • Quickstart
  • Examples
Previous Next

© Copyright 2025, the authors of Bitwuzla.

Built with Sphinx using a theme provided by Read the Docs.