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