Skip to content
@cvc5

cvc5

Pinned Loading

  1. cvc5 cvc5 Public

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

    SMT 981 225

Repositories

Showing 10 of 17 repositories
  • 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 981 225 103 47 Updated Jul 17, 2024
  • docs-ci Public
    cvc5/docs-ci’s past year of commit activity
    HTML 1 1 0 0 Updated Jul 17, 2024
  • tutorials Public

    Repository for source code of cvc5 tutorials

    cvc5/tutorials’s past year of commit activity
    Python 0 0 0 0 Updated Jul 13, 2024
  • cvc5.github.io Public
    cvc5/cvc5.github.io’s past year of commit activity
    JavaScript 1 7 0 0 Updated Jul 11, 2024
  • alfc Public

    Prototype type checker for AletheLF

    cvc5/alfc’s past year of commit activity
    C++ 2 2 1 2 Updated Jul 9, 2024
  • cvc5_pythonic_api Public

    A Z3Py-compatible interface to cvc5

    cvc5/cvc5_pythonic_api’s past year of commit activity
    Python 5 9 2 3 Updated Jun 24, 2024
  • IsaRARE Public

    Generates Isabelle lemmas from RARE rewrite rules

    cvc5/IsaRARE’s past year of commit activity
    Isabelle 0 0 0 0 Updated Mar 31, 2024
  • homebrew-cvc5 Public
    cvc5/homebrew-cvc5’s past year of commit activity
    Ruby 1 0 1 0 Updated Mar 1, 2024
  • docs Public
    cvc5/docs’s past year of commit activity
    HTML 0 2 0 0 Updated Mar 1, 2024
  • AletheInAlf Public

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

    cvc5/AletheInAlf’s past year of commit activity
    0 0 0 0 Updated Feb 26, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…