BBC Russian

docs-ci Public

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

HTML 1 1 0 0 Updated Sep 1, 2024
ethos Public
A Flexible and Efficient Proof Checker for SMT Solvers

cvc5/ethos’s past year of commit activity

C++ 4 4 1 2 Updated Aug 29, 2024
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,001 226 106 40 Updated Aug 29, 2024
AletheInEunoia Public
Alethe in AletheLF: Signature files, and examples to express Alethe proofs in AletheLF

cvc5/AletheInEunoia’s past year of commit activity

0 0 0 0 Updated Aug 28, 2024
cvc5-deps Public
Archived cvc5 software dependencies

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

0 1 0 0 Updated Aug 21, 2024
homebrew-cvc5 Public

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

Ruby 1 0 1 0 Updated Aug 16, 2024
cvc5.github.io Public

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

JavaScript 1 7 0 0 Updated Aug 10, 2024
tutorials Public
Repository for source code of cvc5 tutorials

cvc5/tutorials’s past year of commit activity

Python 1 0 0 0 Updated Aug 10, 2024
docs Public

cvc5/docs’s past year of commit activity

HTML 0 2 0 0 Updated Aug 8, 2024
cvc5_pythonic_api Public
A Z3Py-compatible interface to cvc5

cvc5/cvc5_pythonic_api’s past year of commit activity

Python 5 9 3 3 Updated Jun 24, 2024

Provide feedback