diff --git a/scripts/out/Microsoft.Z3.x64.4.8.9.nupkg b/scripts/out/Microsoft.Z3.x64.4.8.9.nupkg
deleted file mode 100644
index 9b4c02a06..000000000
Binary files a/scripts/out/Microsoft.Z3.x64.4.8.9.nupkg and /dev/null differ
diff --git a/scripts/out/Microsoft.Z3.x64.4.8.9.nupkg.zip b/scripts/out/Microsoft.Z3.x64.4.8.9.nupkg.zip
deleted file mode 100644
index 9b4c02a06..000000000
Binary files a/scripts/out/Microsoft.Z3.x64.4.8.9.nupkg.zip and /dev/null differ
diff --git a/scripts/out/Microsoft.Z3.x64.nuspec b/scripts/out/Microsoft.Z3.x64.nuspec
deleted file mode 100644
index 196157132..000000000
--- a/scripts/out/Microsoft.Z3.x64.nuspec
+++ /dev/null
@@ -1,27 +0,0 @@
-<?xml version="1.0" encoding="utf-8"?>
-<package xmlns="http://schemas.microsoft.com/packaging/2010/07/nuspec.xsd">
-    <metadata>
-        <id>Microsoft.Z3.x64</id>
-        <version>4.8.9</version>
-        <authors>Microsoft</authors>
-        <description>
-Z3 is a satisfiability modulo theories solver from Microsoft Research.
-
-Linux Dependencies:
-    libgomp.so.1 installed    
-        </description>
-        <copyright>&#169; Microsoft Corporation. All rights reserved.</copyright>
-        <tags>smt constraint solver theorem prover</tags>
-        <iconUrl>https://raw.githubusercontent.com/Z3Prover/z3/79734f26aee55309077de1f26e9b6f50ecd99ceb/resources/icon.jpg</iconUrl>
-        <projectUrl>https://github.com/Z3Prover/z3</projectUrl>
-        <licenseUrl>https://raw.githubusercontent.com/Z3Prover/z3/79734f26aee55309077de1f26e9b6f50ecd99ceb/LICENSE.txt</licenseUrl>
-        <repository
-            type="git"
-            url="https://github.com/Z3Prover/z3.git"
-            branch="master"
-            commit="79734f26aee55309077de1f26e9b6f50ecd99ceb"
-        />
-        <requireLicenseAcceptance>true</requireLicenseAcceptance>
-        <language>en</language>
-    </metadata>
-</package>
\ No newline at end of file
diff --git a/scripts/out/build/Microsoft.Z3.targets b/scripts/out/build/Microsoft.Z3.targets
deleted file mode 100644
index bf2ca2dc7..000000000
--- a/scripts/out/build/Microsoft.Z3.targets
+++ /dev/null
@@ -1,10 +0,0 @@
-<?xml version="1.0" encoding="utf-8"?>
-<Project ToolsVersion="4.0" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
-    <ItemGroup>
-        <None Include="$(MSBuildThisFileDirectory)..\runtimes\win-x64\native\libz3.dll">
-            <Visible>false</Visible>
-            <Link>libz3.dll</Link>
-            <CopyToOutputDirectory>PreserveNewest</CopyToOutputDirectory>
-        </None>
-    </ItemGroup>
-</Project>
diff --git a/scripts/out/lib/netstandard1.4/Microsoft.Z3.dll b/scripts/out/lib/netstandard1.4/Microsoft.Z3.dll
deleted file mode 100644
index db7c360d5..000000000
Binary files a/scripts/out/lib/netstandard1.4/Microsoft.Z3.dll and /dev/null differ
diff --git a/scripts/out/runtimes/macos/native/libz3.dylib b/scripts/out/runtimes/macos/native/libz3.dylib
deleted file mode 100644
index cfda8f18f..000000000
Binary files a/scripts/out/runtimes/macos/native/libz3.dylib and /dev/null differ
diff --git a/scripts/out/runtimes/ubuntu-x64/native/libz3.so b/scripts/out/runtimes/ubuntu-x64/native/libz3.so
deleted file mode 100644
index d4417086f..000000000
Binary files a/scripts/out/runtimes/ubuntu-x64/native/libz3.so and /dev/null differ
diff --git a/scripts/out/runtimes/win-x64/native/libz3.dll b/scripts/out/runtimes/win-x64/native/libz3.dll
deleted file mode 100644
index df6bd8d1a..000000000
Binary files a/scripts/out/runtimes/win-x64/native/libz3.dll and /dev/null differ