Description
SMT solver documentation can be read locally for Bitwuzla usage, APIs, and supported theories. It is useful for developers and researchers learning how to model verification problems.
Documentation helps explain tool behavior but does not validate your constraints. Test examples and models against the solver.