Source Package cvc5

Subpackages

• cvc5 - Automatic theorem prover for SMT problems
• cvc5-devel - Headers and other files for developing with cvc5
• cvc5-java - Java interface to cvc5
• cvc5-libs - Library containing an automatic theorem prover for SMT problems
• python3-cvc5 - Python 3 interface to cvc5