-
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
SMT Other UpdatedNov 10, 2025 -
-
ethos Public
Forked from cvc5/ethosA Flexible and Efficient Proof Checker for SMT Solvers
C++ Other UpdatedJul 12, 2025