Skip to content
@bitwuzla

bitwuzla

Pinned Loading

  1. bitwuzla bitwuzla Public

    Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name …

    SMT 308 46

  2. ocaml-bitwuzla ocaml-bitwuzla Public

    Bitwuzla SMT solver repackaged for convenient use in opam.

    OCaml 10 3

Repositories

Showing 4 of 4 repositories
  • bitwuzla Public

    Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.

    bitwuzla/bitwuzla’s past year of commit activity
    SMT 308 46 9 1 Updated Feb 11, 2026
  • bitwuzla.github.io Public

    https://bitwuzla.github.io

    bitwuzla/bitwuzla.github.io’s past year of commit activity
    CSS 1 2 0 0 Updated Nov 5, 2025
  • bitwuzla-deps Public
    bitwuzla/bitwuzla-deps’s past year of commit activity
    0 0 0 0 Updated Sep 15, 2025
  • ocaml-bitwuzla Public

    Bitwuzla SMT solver repackaged for convenient use in opam.

    bitwuzla/ocaml-bitwuzla’s past year of commit activity
    OCaml 10 MIT 3 1 0 Updated Aug 13, 2025

Top languages

Loading…

Most used topics

Loading…