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.3k 278

Repositories

Showing 10 of 22 repositories
  • ethos Public

    A Flexible and Efficient Proof Checker for SMT Solvers

    cvc5/ethos’s past year of commit activity
    C++ 29 9 2 8 Updated Mar 23, 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,275 278 142 78 Updated Mar 23, 2026
  • docs-ci Public
    cvc5/docs-ci’s past year of commit activity
    HTML 1 1 0 0 Updated Mar 23, 2026
  • cvc5-rs Public

    Rust interface for cvc5

    cvc5/cvc5-rs’s past year of commit activity
    Rust 4 BSD-3-Clause 1 2 0 Updated Mar 22, 2026
  • homebrew-cvc5 Public
    cvc5/homebrew-cvc5’s past year of commit activity
    Ruby 3 1 0 0 Updated Mar 17, 2026
  • isabelle-integration-evaluation Public

    Tests to evaluate the reconstruction of cvc5 proofs in the proof assistant Isabelle

    cvc5/isabelle-integration-evaluation’s past year of commit activity
    SMT 0 0 0 0 Updated Mar 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 1 Updated Mar 13, 2026
  • vscode-cpc Public

    VS Code extension providing syntax highlighting for the Cooperating Proof Calculus (CPC) proof format

    cvc5/vscode-cpc’s past year of commit activity
    0 0 0 0 Updated Feb 26, 2026
  • IsaRARE Public

    Generates Isabelle lemmas from RARE rewrite rules

    cvc5/IsaRARE’s past year of commit activity
    Isabelle 1 1 2 3 Updated Jan 22, 2026
  • docs Public
    cvc5/docs’s past year of commit activity
    HTML 0 3 0 0 Updated Dec 12, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…