cvc4(5)
The native input language for cvc4
cvc4 is an automated theorem prover for first-order formulas with respect to background theories of interest.
cvc4
4 releases since Debian 11 (Bullseye); the text changed 3 times.