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