diff --git a/src/Microsoft.Z3/test_mapi/Program.cs b/examples/test_mapi/Program.cs
similarity index 100%
rename from src/Microsoft.Z3/test_mapi/Program.cs
rename to examples/test_mapi/Program.cs
diff --git a/src/Microsoft.Z3/test_mapi/build.cmd b/examples/test_mapi/build.cmd
similarity index 100%
rename from src/Microsoft.Z3/test_mapi/build.cmd
rename to examples/test_mapi/build.cmd
diff --git a/src/Microsoft.Z3/test_mapi/test_mapi.csproj b/examples/test_mapi/test_mapi.csproj
similarity index 100%
rename from src/Microsoft.Z3/test_mapi/test_mapi.csproj
rename to examples/test_mapi/test_mapi.csproj