Man pages matching name cvc4 in section 1:

cvc4.1.en	debian 10 / cvc4
cvc4.1.en	debian 11 / cvc4
cvc4.1.en	debian 12 / cvc4