projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3cc0fe4) | patch
api: Remove obsolete function declaration in Cython bindings. (#8032)
authorAina Niemetz <aina.niemetz@gmail.com>
Thu, 3 Feb 2022 03:24:43 +0000 (19:24 -0800)
committerGitHub <noreply@github.com>
Thu, 3 Feb 2022 03:24:43 +0000 (03:24 +0000)
commit72f495a4aabe7d129c3614c594b1b8f144e50931
tree0d7ec201a91499adae6858480dbc1ec9d2118cfetree
parent3cc0fe4d64cea1bfc155005e7fd7d8bc8f0c6ec3commit | diff
api: Remove obsolete function declaration in Cython bindings. (#8032)
src/api/python/cvc5.pxd diff | blob | history