Package: cvc3

"cvc3" package binaries on Debian:

/usr/bin/cvc3

You may install this package on Debian with apt-get install cvc3