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

Showcase examples for EPFL logic synthesis libraries

⚔️ Debuggable hardware generator

We make any object thread-safe and std::shared_mutex 10 times faster to achieve the speed of lock-free algorithms on >85% reads