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