Man pages matching name options in section 3cvc:

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