/examples/sets-translate/

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