Andrew V. Teylu aytey

• Cornwall

Pinned Loading

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

   SMT 1.3k 279

3. A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

   SMT 355 68

4. Simple Theorem Prover, an efficient SMT solver for bitvectors

   C++ 560 144