mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
16 lines
395 B
ReStructuredText
16 lines
395 B
ReStructuredText
Result
|
|
================
|
|
|
|
This class represents a :py:obj:`cvc5.Solver` result.
|
|
|
|
A :py:obj:`cvc5.Result` encapsulates a 3-valued solver result (sat, unsat,
|
|
unknown). Explanations for unknown results are represented as enum
|
|
:py:obj:`cvc5.UnknownExplanation` and can be queried via
|
|
:py:func:`cvc5.Result.getUnknownExplanation()`.
|
|
|
|
----
|
|
|
|
.. autoclass:: cvc5.Result
|
|
:members:
|
|
:undoc-members:
|