diff --git a/c++/README.txt b/src/examples/c++/README.txt
similarity index 100%
rename from c++/README.txt
rename to src/examples/c++/README.txt
diff --git a/c++/build-external.cmd b/src/examples/c++/build-external.cmd
similarity index 100%
rename from c++/build-external.cmd
rename to src/examples/c++/build-external.cmd
diff --git a/c++/build.cmd b/src/examples/c++/build.cmd
similarity index 100%
rename from c++/build.cmd
rename to src/examples/c++/build.cmd
diff --git a/c++/build.sh b/src/examples/c++/build.sh
similarity index 100%
rename from c++/build.sh
rename to src/examples/c++/build.sh
diff --git a/c++/example.cpp b/src/examples/c++/example.cpp
similarity index 100%
rename from c++/example.cpp
rename to src/examples/c++/example.cpp
diff --git a/c++/exec-external.cmd b/src/examples/c++/exec-external.cmd
similarity index 100%
rename from c++/exec-external.cmd
rename to src/examples/c++/exec-external.cmd
diff --git a/c++/z3++.h b/src/examples/c++/z3++.h
similarity index 100%
rename from c++/z3++.h
rename to src/examples/c++/z3++.h
diff --git a/maxsat/README-external.txt b/src/examples/maxsat/README-external.txt
similarity index 100%
rename from maxsat/README-external.txt
rename to src/examples/maxsat/README-external.txt
diff --git a/maxsat/README.txt b/src/examples/maxsat/README.txt
similarity index 100%
rename from maxsat/README.txt
rename to src/examples/maxsat/README.txt
diff --git a/maxsat/build-external.cmd b/src/examples/maxsat/build-external.cmd
similarity index 100%
rename from maxsat/build-external.cmd
rename to src/examples/maxsat/build-external.cmd
diff --git a/maxsat/build.sh b/src/examples/maxsat/build.sh
similarity index 100%
rename from maxsat/build.sh
rename to src/examples/maxsat/build.sh
diff --git a/maxsat/ex.smt b/src/examples/maxsat/ex.smt
similarity index 100%
rename from maxsat/ex.smt
rename to src/examples/maxsat/ex.smt
diff --git a/maxsat/exec-external.cmd b/src/examples/maxsat/exec-external.cmd
similarity index 100%
rename from maxsat/exec-external.cmd
rename to src/examples/maxsat/exec-external.cmd
diff --git a/maxsat/maxsat.c b/src/examples/maxsat/maxsat.c
similarity index 100%
rename from maxsat/maxsat.c
rename to src/examples/maxsat/maxsat.c
diff --git a/maxsat/maxsat.vcxproj b/src/examples/maxsat/maxsat.vcxproj
similarity index 100%
rename from maxsat/maxsat.vcxproj
rename to src/examples/maxsat/maxsat.vcxproj
diff --git a/test_capi/README.txt b/src/examples/test_capi/README.txt
similarity index 100%
rename from test_capi/README.txt
rename to src/examples/test_capi/README.txt
diff --git a/test_capi/build.sh b/src/examples/test_capi/build.sh
similarity index 100%
rename from test_capi/build.sh
rename to src/examples/test_capi/build.sh
diff --git a/test_capi/test_capi.c b/src/examples/test_capi/test_capi.c
similarity index 100%
rename from test_capi/test_capi.c
rename to src/examples/test_capi/test_capi.c
diff --git a/test_capi/test_capi.vcxproj b/src/examples/test_capi/test_capi.vcxproj
similarity index 100%
rename from test_capi/test_capi.vcxproj
rename to src/examples/test_capi/test_capi.vcxproj