Awesome resources for Hardware Description

Categories Tags Boards About

Cooperating Validity Checker (CVC)

An efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems

This is a long description…

… about CVC.

Generated with Hugo with theme based on Bare Hugo (built on top of Bulma). Last modified July 17, 2023 (commit b7a2748)