UnknownExplanation
==================

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

----

- enum class :cpp:enum:`cvc5::UnknownExplanation`
- :cpp:func:`std::ostream& cvc5::operator<< (std::ostream& out, UnknownExplanation e)`

----

.. doxygenenum:: cvc5::UnknownExplanation
    :project: cvc5

----

.. doxygenfunction:: cvc5::operator<<(std::ostream& out, UnknownExplanation e)
    :project: cvc5
