Source Package cvc4

Subpackages

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