cmake: Added target examples (currently .cpp examples only)
[cvc5.git] / examples / sets-translate /
drwxr-xr-x   ..
-rw-r--r-- 380 CMakeLists.txt
-rw-r--r-- 83 Makefile
-rw-r--r-- 700 Makefile.am
-rw-r--r-- 12976 sets_translate.cpp