mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
12 lines
206 B
ReStructuredText
12 lines
206 B
ReStructuredText
UnknownExplanation
|
|
==================
|
|
|
|
This enum represents the explanation for an unknown solver result
|
|
(see :doc:`result`).
|
|
|
|
----
|
|
|
|
.. autoclass:: cvc5.UnknownExplanation
|
|
:members:
|
|
:undoc-members:
|