GitHub

Repositories

Showing 10 of 22 repositories

  • cvc5/docs-ci's past year of commit activity

    HTML

    1 1 0 0

    Updated Aug 18, 2026

  • cvc5 Public

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

    cvc5/cvc5's past year of commit activity

  • ethos Public

    A Flexible and Efficient Proof Checker for SMT Solvers

    cvc5/ethos's past year of commit activity

    C++

    33 9 3 5

    Updated Aug 18, 2026

  • cvc5/cvc5_pythonic_api's past year of commit activity

    Python

    8 14 4 2

    Updated Aug 16, 2026

  • AletheInEunoia Public

    Alethe in AletheLF: Signature files, and examples to express Alethe proofs in AletheLF

    cvc5/AletheInEunoia's past year of commit activity

    3 1 0 0

    Updated Aug 14, 2026

  • cvc5/docs's past year of commit activity

    HTML

    0 3 0 0

    Updated Jul 20, 2026

  • cvc5/sets-and-relations-benchmarks's past year of commit activity

    SMT

    0 0 0 0

    Updated Jul 14, 2026

  • cvc5-deps Public

    Archived cvc5 software dependencies

    cvc5/cvc5-deps's past year of commit activity

    0 1 0 0

    Updated Jun 22, 2026

  • cvc5/cvc5.github.io's past year of commit activity

    JavaScript

    1 10 0 1

    Updated Jun 18, 2026

  • cvc5/isabelle-integration-evaluation's past year of commit activity

    SMT

    0 0 0 0

    Updated May 25, 2026

Read the original on github.com ↗