cvc5

docs-ci Public

HTML 1 1 0 0 Updated Aug 10, 2026

cvc5 Public

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

SMT 1,351 297 141 70 Updated Aug 9, 2026

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

3 1 0 2 Updated Jul 31, 2026

ethos Public

A Flexible and Efficient Proof Checker for SMT Solvers

C++ 33 9 4 5 Updated Jul 26, 2026

docs Public

HTML 0 3 0 0 Updated Jul 20, 2026

SMT 0 0 0 0 Updated Jul 14, 2026

Archived cvc5 software dependencies

0 1 0 0 Updated Jun 22, 2026

JavaScript 1 10 0 1 Updated Jun 18, 2026

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

SMT 0 0 0 0 Updated May 25, 2026

A fork of SymFPU, a (concrete or symbolic) implementation of IEEE-754 / SMT-LIB flating-point

C++ 1 30 0 0 Updated May 15, 2026

Navigation Menu