cvc5

docs-ci Public

cvc5/docs-ci’s past year of commit activity

HTML 1 1 0 0 Updated Oct 18, 2025
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,200 268 118 66 Updated Oct 18, 2025
IsaRARE Public
Generates Isabelle lemmas from RARE rewrite rules

cvc5/IsaRARE’s past year of commit activity

Isabelle 1 1 1 2 Updated Oct 17, 2025
ethos Public
A Flexible and Efficient Proof Checker for SMT Solvers

cvc5/ethos’s past year of commit activity

C++ 26 9 0 9 Updated Oct 17, 2025
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 Oct 9, 2025
cvc5.github.io Public

cvc5/cvc5.github.io’s past year of commit activity

JavaScript 1 9 0 1 Updated Oct 2, 2025
homebrew-cvc5 Public

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

Ruby 3 1 0 0 Updated Sep 30, 2025
docs Public

cvc5/docs’s past year of commit activity

HTML 0 3 0 0 Updated Sep 24, 2025
smtd Public
Distributed SMT solving framework

cvc5/smtd’s past year of commit activity

Python 1 BSD-3-Clause 0 0 2 Updated Sep 23, 2025
cvc5_pythonic_api Public
A Z3Py-compatible interface to cvc5

cvc5/cvc5_pythonic_api’s past year of commit activity

Python 7 13 5 2 Updated Aug 15, 2025

Provide feedback