docs/api/python/base/sort.rst

Sort
================

.. autoclass:: cvc5.Sort
    :members:
    :undoc-members:
Python api documentation for sorts (#7440) This PR adds documentation for the Sort python API. 2021-10-27 20:41:24 +03:00			`Sort`
			`================`

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.Sort`
Python api documentation for sorts (#7440) This PR adds documentation for the Sort python API. 2021-10-27 20:41:24 +03:00			`:members:`
			`:undoc-members:`