◐ Shell
clean mode source ↗

aytey - Overview

Skip to content

Navigation Menu

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Sign up

Appearance settings

View aytey's full-sized avatar

Andrew V. Teylu aytey

  • Cornwall

Block or report aytey

Pinned Loading

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

    SMT 1.3k 291

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

    SMT 359 68

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

    C++ 578 142