Pinned Loading

1. stp/stp stp/stp Public

   Simple Theorem Prover, an efficient SMT solver for bitvectors, floating-point and arrays.

   C++ 594 145

2. cvc5/cvc5 cvc5/cvc5 Public

   cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

   SMT 1.4k 315

3. Z3Prover/z3 Z3Prover/z3 Public

   The Z3 Theorem Prover

   C++ 12.9k 1.7k

4. bitwuzla/bitwuzla 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 412 60