projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9cf32b5) | patch
Python api documentation for sorts (#7440)
authoryoni206 <yoni206@users.noreply.github.com>
Wed, 27 Oct 2021 17:41:24 +0000 (20:41 +0300)
committerGitHub <noreply@github.com>
Wed, 27 Oct 2021 17:41:24 +0000 (17:41 +0000)
commitcd5fb80d86a03ade6037531e52f6c3dd3f708bbf
tree4bb7d92aacd4ff34fa969f35f5fee3698a40625atree
parent9cf32b5d3f12a886779b85066d8c5997b49aefc1commit | diff
Python api documentation for sorts (#7440)

This PR adds documentation for the Sort python API.
docs/api/python/python.rst diff | blob | history
docs/api/python/sort.rst [new file with mode: 0644] blob
src/api/cpp/cvc5.h diff | blob | history
src/api/python/cvc5.pxd diff | blob | history
src/api/python/cvc5.pxi diff | blob | history