/examples/sets-translate/
../
CMakeLists.txt
sets-translate-example-input.smt2
sets_translate.cpp