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 394 57

  2. ocaml-bitwuzla ocaml-bitwuzla Public

    Bitwuzla SMT solver repackaged for convenient use in opam.

    OCaml 11 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 394 57 5 4 Updated Sep 24, 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 Aug 27, 2026
  • ocaml-bitwuzla Public

    Bitwuzla SMT solver repackaged for convenient use in opam.

    bitwuzla/ocaml-bitwuzla's past year of commit activity
    OCaml 11 MIT 3 2 0 Updated Apr 3, 2026
  • bitwuzla-deps Public
    bitwuzla/bitwuzla-deps's past year of commit activity
    0 0 0 0 Updated Sep 15, 2025

Top languages

OCaml CSS SMT

Most used topics

Loading…