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

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

----

.. autoclass:: cvc5.UnknownExplanation
    :members:
    :undoc-members:
