Skip to content

@cvc5 cvc5

Change the repository type filter

All

    Repositories list

    22 repositories

    • docs-ci

      Public
      HTML
      •1•1•0•0•Updated Mar 15, 2026Mar 15, 2026

    • cvc5

      Public
      cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
      SMT
      •
      Other
      •278•1.3k•137•78•Updated Mar 14, 2026Mar 14, 2026

    • ethos

      Public
      A Flexible and Efficient Proof Checker for SMT Solvers
      C++
      •
      Other
      •9•28•2•7•Updated Mar 14, 2026Mar 14, 2026

    • cvc5-rs

      Public
      Rust interface for cvc5
      Rust
      •
      BSD 3-Clause "New" or "Revised" License
      •0•2•1•2•Updated Mar 14, 2026Mar 14, 2026

    • AletheInEunoia

      Public
      Alethe in AletheLF: Signature files, and examples to express Alethe proofs in AletheLF
      1•3•0•1•Updated Mar 13, 2026Mar 13, 2026

    • isabelle-integration-evaluation

      Public
      Tests to evaluate the reconstruction of cvc5 proofs in the proof assistant Isabelle
      SMT
      •0•0•0•0•Updated Mar 12, 2026Mar 12, 2026

    • vscode-cpc

      Public
      VS Code extension providing syntax highlighting for the Cooperating Proof Calculus (CPC) proof format
      0•0•0•0•Updated Feb 26, 2026Feb 26, 2026

    • IsaRARE

      Public
      Generates Isabelle lemmas from RARE rewrite rules
      Isabelle
      •1•1•2•3•Updated Jan 22, 2026Jan 22, 2026

    • homebrew-cvc5

      Public
      Ruby
      •1•3•0•0•Updated Dec 16, 2025Dec 16, 2025

    • docs

      Public
      HTML
      •3•0•0•0•Updated Dec 12, 2025Dec 12, 2025

    • cvc5.github.io

      Public
      JavaScript
      •9•1•0•0•Updated Nov 24, 2025Nov 24, 2025

    • cvc5_pythonic_api

      Public
      A Z3Py-compatible interface to cvc5
      Python
      •
      Other
      •13•8•5•2•Updated Nov 21, 2025Nov 21, 2025

    • smtd

      Public
      Distributed SMT solving framework
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •0•2•0•2•Updated Sep 23, 2025Sep 23, 2025

    • cvc5-deps

      Public
      Archived cvc5 software dependencies
      1•0•0•0•Updated Jul 8, 2025Jul 8, 2025

    • artifact-cav25-lean

      Public
      Python
      •
      Apache License 2.0
      •0•0•0•0•Updated Jun 24, 2025Jun 24, 2025

    • tutorials

      Public
      Repository for source code of cvc5 tutorials
      Python
      •4•2•0•0•Updated Sep 18, 2024Sep 18, 2024

    • drat-trim

      Public
      The DRAT-trim proof checker
      C
      •
      MIT License
      •23•0•0•0•Updated Feb 22, 2024Feb 22, 2024

    • LFSC

      Public
      LFSC Proof Checker
      C++
      •
      Other
      •9•11•5•4•Updated Sep 14, 2023Sep 14, 2023

    • artifact-fmcad23-sygus

      Public
      Slash
      •0•0•0•0•Updated Aug 23, 2023Aug 23, 2023

    • symfpu

      Public
      A fork of SymFPU, a (concrete or symbolic) implementation of IEEE-754 / SMT-LIB flating-point
      C++
      •
      GNU General Public License v3.0
      •22•1•0•0•Updated Jun 27, 2023Jun 27, 2023

    • OSSRH-73873

      Public
      Repository for maven verification
      0•0•0•0•Updated Oct 6, 2021Oct 6, 2021

    • cvc5-projects

      Public
      0•1•183•0•Updated Feb 4, 2020Feb 4, 2020