SynthResult
===========

This class represents a :py:obj:`cvc5.Solver` SyGus synthesis result.

----

.. autoclass:: cvc5.SynthResult
    :members:
    :undoc-members: