mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
11 lines
168 B
ReStructuredText
11 lines
168 B
ReStructuredText
SynthResult
|
|
===========
|
|
|
|
This class represents a :py:obj:`cvc5.Solver` SyGus synthesis result.
|
|
|
|
----
|
|
|
|
.. autoclass:: cvc5.SynthResult
|
|
:members:
|
|
:undoc-members:
|