mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
ba24986fe2
Does not modify the code to return a SynthResult yet, just adds the class. Co-authored-by: Aina Niemetz <aina.niemetz@gmail.com>
7 lines
91 B
ReStructuredText
7 lines
91 B
ReStructuredText
SynthResult
|
|
===========
|
|
|
|
.. autoclass:: cvc5.SynthResult
|
|
:members:
|
|
:undoc-members:
|