mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
6388657820
In the process, I changed a CMake target name from pycvc5 to cvc5_base_py_api. I could not change the target to cvc5, because that name is taken.
7 lines
78 B
ReStructuredText
7 lines
78 B
ReStructuredText
Solver
|
|
========
|
|
|
|
.. autoclass:: cvc5.Solver
|
|
:members:
|
|
:undoc-members:
|