docs/api/python/base/proof.rst

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:
docs: Restructure and extend proofs docs. (#11045) 2024-07-16 16:07:30 -07:00			`Proof`
			`=====`

docs: python base: Add missing docs pages. (#11058) 2024-08-05 11:49:50 -07:00			`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.

			`-----`

docs: Restructure and extend proofs docs. (#11045) 2024-07-16 16:07:30 -07:00			`.. autoclass:: cvc5.Proof`
			`:members:`
docs: python base: Add missing docs pages. (#11058) 2024-08-05 11:49:50 -07:00			`:undoc-members:`