Skip to content

@Boolector Boolector

Change the repository type filter

All

    Repositories list

    2 repositories

    • boolector

      Public archive
      A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
      SMT
      •
      Other
      •64•337•30•0•Updated Aug 23, 2024Aug 23, 2024

    • boolector.github.io

      Public
      Boolector website.
      TeX
      •0•0•0•0•Updated Jun 5, 2024Jun 5, 2024