Man pages matching name libcvc4 in section 3:

libcvc4.3.en	debian 11 / libcvc4-dev
libcvc4.3.en	debian 12 / libcvc4-dev