zbitvector is an efficient, well-typed interface to the Z3 and Bitwuzla SMT solvers.

{%- if pagename != "search" and builder != "singlehtml" %} {%- endif %}
{{ toc }}