UnknownExplanation
Warning
doxygenenum: Cannot find enum “cvc5::UnknownExplanation” in doxygen xml output for project “cvc5” from directory: /home/runner/work/cvc5/cvc5/build-shared/docs/api/cpp/doxygen/xml
Warning
doxygenenum: Cannot find enum “cvc5::UnknownExplanation” in doxygen xml output for project “cvc5” from directory: /home/runner/work/cvc5/cvc5/build-shared/docs/api/cpp/doxygen/xml