Skip to content
@cvc5

cvc5

Pinned Loading

  1. cvc5 Public

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

    SMT 1.1k 247

Repositories

Showing 10 of 17 repositories
  • docs-ci Public
    HTML 1 1 0 0 Updated Apr 4, 2025
  • cvc5 Public

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

    SMT 1,092 247 114 50 Updated Apr 3, 2025
  • ethos Public

    A Flexible and Efficient Proof Checker for SMT Solvers

    C++ 20 8 0 6 Updated Mar 31, 2025
  • cvc5_pythonic_api Public

    A Z3Py-compatible interface to cvc5

    Python 7 11 5 3 Updated Feb 25, 2025
  • homebrew-cvc5 Public
    Ruby 2 0 1 0 Updated Jan 28, 2025
  • docs Public
    HTML 0 3 0 0 Updated Jan 27, 2025
  • cvc5.github.io Public
    JavaScript 1 8 0 0 Updated Oct 22, 2024
  • tutorials Public

    Repository for source code of cvc5 tutorials

    Python 2 4 0 0 Updated Sep 18, 2024
  • AletheInEunoia Public

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

    3 1 0 1 Updated Aug 28, 2024
  • cvc5-deps Public

    Archived cvc5 software dependencies

    0 1 0 0 Updated Aug 21, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…