cvc5

@cvc5

Pinned Loading

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

SMT 1.3k 279

Showing 10 of 22 repositories

cvc5-rs Public
Rust interface for cvc5

cvc5/cvc5-rs’s past year of commit activity

1
BSD-3-Clause 0
0 1
Updated Mar 7, 2026
cvc5/docs-ci’s past year of commit activity

HTML
1 1 0 0
Updated Mar 7, 2026
ethos Public
A Flexible and Efficient Proof Checker for SMT Solvers

cvc5/ethos’s past year of commit activity

C++
28 9 2 6
Updated Mar 7, 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
cvc5/isabelle-integration-evaluation’s past year of commit activity

SMT 0 0
0 0
Updated Mar 4, 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
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 Feb 19, 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
cvc5/homebrew-cvc5’s past year of commit activity

Ruby
3 1 0 0
Updated Dec 16, 2025
cvc5/docs’s past year of commit activity

HTML 0
3 0 0
Updated Dec 12, 2025

Loading…