Skip to content
  • Stanford University


  • Arctic Code Vault Contributor
  • Pro


@CVC4 @SMT-LIB @StanfordAHA @Boolector @SMT-COMP @bitwuzla


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

    SMT 158 26

  2. CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

    SMT 441 138

  3. A generic parser and tool package for the BTOR2 format.

    C 10 7

  4. A delta debugger for SMT benchmarks in SMT-LIB v2.

    Python 17 11

  5. A delta debugger for QBF benchmarks in QDIMACS format

    Python 1

4,940 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri
Activity overview
Contributed to CVC4/CVC4, Boolector/boolector, SMT-COMP/ and 5 other repositories
You can’t perform that action at this time.