/src/api/java/
../
CMakeLists.txt
cvc5
genkinds.py.in
jni