/src/api/python/

• ../
• CMakeLists.txt
• cvc5.pxd
• cvc5.pxi
• genkinds.py.in
• pycvc5.pyx
• setup.py.in