ada/cvc5
0
0
Fork 0
mirror of https://github.com/AdaCore/cvc5.git synced 2026-02-12 12:32:16 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
23-sustained
cvc5/docs/api/python/base/solver.rst

7 lines
78 B
ReStructuredText
Raw Permalink Normal View History

Start python API Solver documentation (#7064)
2021-09-20 15:12:17 -07:00
Solver
========
Change name of Python API's package from pycvc5 to cvc5. (#7953) 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.
2022-02-02 15:45:42 -08:00
.. autoclass:: cvc5.Solver
Start python API Solver documentation (#7064)
2021-09-20 15:12:17 -07:00
:members:
:undoc-members:
Reference in New Issue Copy Permalink