Man pages matching name smtengine in section 3cvc:

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