Skip to content

@bitwuzla bitwuzla

Change the repository type filter

All

    Repositories list

    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”.
      SMT
      •
      Other
      •32•207•9•3•Updated Nov 7, 2024Nov 7, 2024

    • ocaml-bitwuzla

      Public
      Bitwuzla SMT solver repackaged for convenient use in opam.
      OCaml
      •
      MIT License
      •3•9•0•0•Updated Nov 5, 2024Nov 5, 2024

    • bitwuzla.github.io

      Public
      https://bitwuzla.github.io
      CSS
      •1•1•0•0•Updated Sep 11, 2024Sep 11, 2024