Versions
- 1.6.r709.g219bc5991
- 1.8 (5)
- 1.7 (3)
- 1.6 (3)
- 1.5 (2)
- 1.4 (3)
Package names
- academic/cvc4
- cvc4 (5)
- cvc4-git
- math/cvc4
- sci-mathematics/cvc4
Categories
- Unspecified
- academic
- math (2)
- misc
- sci-mathematics
- universe/misc
Licenses
- BSD (2)
- Boost and BSD and MIT
- GPL
- GPL-2
- GPL-3.0
- GPL-3.0-only
- GPLv3+
- MIT
- custom:HPND
Summaries
- A high-performance theorem prover and SMT solver
- An automated theorem prover for SMT problems
- An automatic theorem prover
- An automatic theorem prover for SMT problems.
- Automatic theorem prover for SMT (Satisfiability Modulo Theories)
- Automatic theorem prover for SMT problems
- automatic theorem prover for satisfiability modulo theories (SMT) problems