/src/api/python/
../
CMakeLists.txt
cvc4.pxd
cvc4.pxi
genkinds.py
pycvc4.pyx