mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
12 lines
270 B
ReStructuredText
12 lines
270 B
ReStructuredText
Proof
|
|
=====
|
|
|
|
This class encapsulates a cvc5 proof object, which can be retrieved via
|
|
function :py:func:`cvc5.Solver.getProof()` after a
|
|
:py:func:`cvc5.Solver.checkSat()` query returns an `unsat` result.
|
|
|
|
-----
|
|
|
|
.. autoclass:: cvc5.Proof
|
|
:members:
|
|
:undoc-members: |