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

github.com/jefftrull/cvc5
by @jefftrull

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.