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 199 30

  2. ocaml-bitwuzla ocaml-bitwuzla Public

    Bitwuzla SMT solver repackaged for convenient use in opam.

    OCaml 9 3

Repositories

Showing 3 of 3 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 199 30 9 2 Updated Sep 26, 2024
  • ocaml-bitwuzla Public

    Bitwuzla SMT solver repackaged for convenient use in opam.

    bitwuzla/ocaml-bitwuzla’s past year of commit activity
    OCaml 9 MIT 3 1 0 Updated Sep 26, 2024
  • bitwuzla.github.io Public

    https://bitwuzla.github.io

    bitwuzla/bitwuzla.github.io’s past year of commit activity
    CSS 1 1 0 0 Updated Sep 11, 2024

Top languages

Loading…

Most used topics

Loading…