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.