Skip to content
@cvc5

cvc5

Pinned Loading

  1. cvc5 cvc5 Public

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

    SMT 1.4k 305

Repositories

Showing 10 of 23 repositories
  • docs-ci Public
    cvc5/docs-ci's past year of commit activity
    HTML 1 1 0 0 Updated Sep 13, 2026
  • ethos Public

    A Flexible and Efficient Proof Checker for SMT Solvers

    cvc5/ethos's past year of commit activity
    C++ 34 9 3 7 Updated Sep 11, 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
    SMT 1,360 305 144 80 Updated Sep 11, 2026
  • cvc5_pythonic_api Public

    A Z3Py-compatible interface to cvc5

    cvc5/cvc5_pythonic_api's past year of commit activity
    Python 9 15 4 2 Updated Sep 8, 2026
  • cvc5-rs Public

    Rust interface for cvc5

    cvc5/cvc5-rs's past year of commit activity
    Rust 15 BSD-3-Clause 5 4 2 Updated Sep 5, 2026
  • logos Public

    A Lean-based verified proof checker for Eunoia

    cvc5/logos's past year of commit activity
    Lean 0 0 0 0 Updated Sep 3, 2026
  • cvc5-deps Public

    Archived cvc5 software dependencies

    cvc5/cvc5-deps's past year of commit activity
    0 1 0 0 Updated Aug 28, 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 2 Updated Aug 14, 2026
  • docs Public
    cvc5/docs's past year of commit activity
    HTML 0 3 0 0 Updated Jul 20, 2026
  • sets-and-relations-benchmarks Public
    cvc5/sets-and-relations-benchmarks's past year of commit activity
    SMT 0 0 0 0 Updated Jul 14, 2026
View all repositories

Most used topics

Loading…