Cvc5UnknownExplanation
======================

This enum class represents the explanation for an unknown solver result
(see :doc:`../types/cvc5result`).

.. container:: hide-toctree

  .. toctree::

----

.. doxygenenum:: Cvc5UnknownExplanation
    :project: cvc5_c

----

.. doxygenfunction:: cvc5_unknown_explanation_to_string
    :project: cvc5_c
