cvc5
by cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
AI summary
Satisfiability checker
An open-source tool for determining the satisfiability of first-order formulas modulo theories.
- stars
- 1.1K
- forks
- 236
- watching
- 36
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Circuit Validator
Checks CDL netlists for errors and circuit validity
Haskell verifier
A tool for expressing and proving properties about Haskell programs using SMT solvers.
cvxr/tfocs136
Convex solver toolkit
A toolbox for building efficient first-order solvers for convex optimization problems
Formal verification toolkit
A collection of formal verification tools and libraries for writing secure and reliable software using the Coq proof assistant
Quantum Chemistry Solver
A program for ab initio simulation of the electronic structure of molecules and periodic solids using the time independent Schrödinger equation.
SMT verification plugin
An OCaml-based plugin for Coq that verifies and extends proof witnesses from external SAT/SMT solvers
Android POCs
A collection of C programs demonstrating proof-of-concept vulnerabilities in Android.
Type inference tool verifier
A Coq formalization of Damas-Milner type system and its algorithm W for verifying the correctness of type inference tools.
Mvvm tester
A test suite for verifying the behavior of CommunityToolkit.Mvvm
Modal logic proofs
Machine-checked proofs of soundness, completeness, and decidability for modal logics in Coq.
Code verifier
A tool for verifying the correctness and safety of C++ programs
HLS verifier
A tool for formally verifying high-level synthesis of digital circuits
RISC-V Verifier
A framework for formally verifying RISC-V processors by providing a processor-independent formal description and testbenches.
C verifier
A software verification toolchain that translates C code into intermediate language and verifies its assertions using model checking and abstract interpretation
DBC checker
An application for checking DBC files for various issues and extending checker functionality.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions cvc5.
