/src/api/python/
../
CMakeLists.txt
__init__.py.in
cvc5.pxd
cvc5.pxi
genkinds.py.in
pycvc5.pyx
setup.py.in
wheels