diff --git a/src/api/dotnet/dotnet35/Example/App.config b/src/api/dotnet/dotnet35/Example/App.config
deleted file mode 100644
index 737ed23f2..000000000
--- a/src/api/dotnet/dotnet35/Example/App.config
+++ /dev/null
@@ -1,6 +0,0 @@
-
-
-
-
-
-
diff --git a/src/api/dotnet/dotnet35/Example/Example.csproj b/src/api/dotnet/dotnet35/Example/Example.csproj
deleted file mode 100644
index 842fbac41..000000000
--- a/src/api/dotnet/dotnet35/Example/Example.csproj
+++ /dev/null
@@ -1,78 +0,0 @@
-
-
-
-
- Debug
- AnyCPU
- {2A8E577B-7B6D-4CA9-832A-CA2EEC314812}
- Exe
- Properties
- Example
- Example
- v4.5.2
- 512
- true
-
-
- AnyCPU
- true
- full
- false
- bin\Debug\
- TRACE;DEBUG;FRAMEWORK_LT_4
- prompt
- 4
-
-
- AnyCPU
- pdbonly
- true
- bin\Release\
- TRACE;FRAMEWORK_LT_4
- prompt
- 4
-
-
- true
- bin\x64\Debug\
- TRACE;DEBUG;FRAMEWORK_LT_4
- full
- x64
- prompt
- MinimumRecommendedRules.ruleset
- true
-
-
- bin\x64\Release\
- TRACE;FRAMEWORK_LT_4
- true
- pdbonly
- x64
- prompt
- MinimumRecommendedRules.ruleset
- true
-
-
-
- Program.cs
-
-
-
-
-
-
-
-
- {ec3db697-b734-42f7-9468-5b62821eeb5a}
- Microsoft.Z3.NET35
-
-
-
-
-
diff --git a/src/api/dotnet/dotnet35/Example/Properties/AssemblyInfo.cs b/src/api/dotnet/dotnet35/Example/Properties/AssemblyInfo.cs
deleted file mode 100644
index ed0d8454f..000000000
--- a/src/api/dotnet/dotnet35/Example/Properties/AssemblyInfo.cs
+++ /dev/null
@@ -1,36 +0,0 @@
-using System.Reflection;
-using System.Runtime.CompilerServices;
-using System.Runtime.InteropServices;
-
-// General Information about an assembly is controlled through the following
-// set of attributes. Change these attribute values to modify the information
-// associated with an assembly.
-[assembly: AssemblyTitle("Example")]
-[assembly: AssemblyDescription("")]
-[assembly: AssemblyConfiguration("")]
-[assembly: AssemblyCompany("")]
-[assembly: AssemblyProduct("Example")]
-[assembly: AssemblyCopyright("Copyright © 2017")]
-[assembly: AssemblyTrademark("")]
-[assembly: AssemblyCulture("")]
-
-// Setting ComVisible to false makes the types in this assembly not visible
-// to COM components. If you need to access a type in this assembly from
-// COM, set the ComVisible attribute to true on that type.
-[assembly: ComVisible(false)]
-
-// The following GUID is for the ID of the typelib if this project is exposed to COM
-[assembly: Guid("2a8e577b-7b6d-4ca9-832a-ca2eec314812")]
-
-// Version information for an assembly consists of the following four values:
-//
-// Major Version
-// Minor Version
-// Build Number
-// Revision
-//
-// You can specify all the values or you can default the Build and Revision Numbers
-// by using the '*' as shown below:
-// [assembly: AssemblyVersion("1.0.*")]
-[assembly: AssemblyVersion("1.0.0.0")]
-[assembly: AssemblyFileVersion("1.0.0.0")]
diff --git a/src/api/dotnet/dotnet35/Microsoft.Z3.NET35.csproj b/src/api/dotnet/dotnet35/Microsoft.Z3.NET35.csproj
deleted file mode 100644
index 15eaac445..000000000
--- a/src/api/dotnet/dotnet35/Microsoft.Z3.NET35.csproj
+++ /dev/null
@@ -1,347 +0,0 @@
-
-
-
- Debug
- AnyCPU
- 8.0.30703
- 2.0
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}
- Library
- Properties
- Microsoft.Z3
- Microsoft.Z3
- v3.5
- 512
-
-
- 0
-
-
- true
- full
- false
- Debug\
- TRACE;DEBUG;FRAMEWORK_LT_4
- prompt
- 4
- true
- Debug\Microsoft.Z3.XML
- False
- False
- True
- False
- False
- True
- False
- True
- True
- False
- False
- False
- True
- False
- False
- False
- True
- False
- False
- True
- True
- True
- False
- False
-
-
-
-
-
-
- True
- Full
- %28none%29
- 2
-
-
- pdbonly
- true
- Release\
- FRAMEWORK_LT_4
- prompt
- 4
- true
- Release\Microsoft.Z3.xml
- x86
-
-
- true
-
-
-
-
-
-
- false
-
-
- true
- bin\x64\Debug\
- TRACE;DEBUG;FRAMEWORK_LT_4
- true
- Debug\Microsoft.Z3.XML
- full
- x64
- prompt
- MinimumRecommendedRules.ruleset
-
-
- bin\x64\Release\
- FRAMEWORK_LT_4
- true
- Release\Microsoft.Z3.xml
- true
- pdbonly
- x64
- prompt
- MinimumRecommendedRules.ruleset
-
-
-
- packages\Code.Contract.1.0.0\lib\net35\Microsoft.Contracts.dll
- True
-
-
-
-
-
-
- AlgebraicNum.cs
-
-
- ApplyResult.cs
-
-
- ArithExpr.cs
-
-
- ArithSort.cs
-
-
- ArrayExpr.cs
-
-
- ArraySort.cs
-
-
- AST.cs
-
-
- ASTMap.cs
-
-
- ASTVector.cs
-
-
- BitVecExpr.cs
-
-
- BitVecNum.cs
-
-
- BitVecSort.cs
-
-
- BoolExpr.cs
-
-
- BoolSort.cs
-
-
- Constructor.cs
-
-
- ConstructorList.cs
-
-
- Context.cs
-
-
- DatatypeExpr.cs
-
-
- DatatypeSort.cs
-
-
- Deprecated.cs
-
-
- Enumerations.cs
-
-
- EnumSort.cs
-
-
- Expr.cs
-
-
- FiniteDomainExpr.cs
-
-
- FiniteDomainNum.cs
-
-
- FiniteDomainSort.cs
-
-
- Fixedpoint.cs
-
-
- FPExpr.cs
-
-
- FPNum.cs
-
-
- FPRMExpr.cs
-
-
- FPRMNum.cs
-
-
- FPRMSort.cs
-
-
- FPSort.cs
-
-
- FuncDecl.cs
-
-
- FuncInterp.cs
-
-
- Global.cs
-
-
- Goal.cs
-
-
- IDecRefQueue.cs
-
-
- InterpolationContext.cs
-
-
- IntExpr.cs
-
-
- IntNum.cs
-
-
- IntSort.cs
-
-
- IntSymbol.cs
-
-
- ListSort.cs
-
-
- Log.cs
-
-
- Model.cs
-
-
- Native.cs
-
-
- Optimize.cs
-
-
- ParamDescrs.cs
-
-
- Params.cs
-
-
- Pattern.cs
-
-
- Probe.cs
-
-
- Quantifier.cs
-
-
- RatNum.cs
-
-
- RealExpr.cs
-
-
- RealSort.cs
-
-
- ReExpr.cs
-
-
- RelationSort.cs
-
-
- ReSort.cs
-
-
- SeqExpr.cs
-
-
- SeqSort.cs
-
-
- SetSort.cs
-
-
- Solver.cs
-
-
- Sort.cs
-
-
- Statistics.cs
-
-
- Status.cs
-
-
- StringSymbol.cs
-
-
- Symbol.cs
-
-
- Tactic.cs
-
-
- TupleSort.cs
-
-
- UninterpretedSort.cs
-
-
- Version.cs
-
-
- Z3Exception.cs
-
-
- Z3Object.cs
-
-
-
-
-
-
-
-
-
-
-
diff --git a/src/api/dotnet/dotnet35/Microsoft.Z3.NET35.sln b/src/api/dotnet/dotnet35/Microsoft.Z3.NET35.sln
deleted file mode 100644
index 1e33f136e..000000000
--- a/src/api/dotnet/dotnet35/Microsoft.Z3.NET35.sln
+++ /dev/null
@@ -1,48 +0,0 @@
-
-Microsoft Visual Studio Solution File, Format Version 12.00
-# Visual Studio 14
-VisualStudioVersion = 14.0.25420.1
-MinimumVisualStudioVersion = 10.0.40219.1
-Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "Microsoft.Z3.NET35", "Microsoft.Z3.NET35.csproj", "{EC3DB697-B734-42F7-9468-5B62821EEB5A}"
-EndProject
-Project("{FAE04EC0-301F-11D3-BF4B-00C04F79EFBC}") = "Example", "Example\Example.csproj", "{2A8E577B-7B6D-4CA9-832A-CA2EEC314812}"
-EndProject
-Global
- GlobalSection(SolutionConfigurationPlatforms) = preSolution
- Debug|Any CPU = Debug|Any CPU
- Debug|x64 = Debug|x64
- Debug|x86 = Debug|x86
- Release|Any CPU = Release|Any CPU
- Release|x64 = Release|x64
- Release|x86 = Release|x86
- EndGlobalSection
- GlobalSection(ProjectConfigurationPlatforms) = postSolution
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Debug|Any CPU.Build.0 = Debug|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Debug|x64.ActiveCfg = Debug|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Debug|x64.Build.0 = Debug|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Debug|x86.ActiveCfg = Debug|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Debug|x86.Build.0 = Debug|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Release|Any CPU.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Release|Any CPU.Build.0 = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Release|x64.ActiveCfg = Release|x64
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Release|x64.Build.0 = Release|x64
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Release|x86.ActiveCfg = Release|Any CPU
- {EC3DB697-B734-42F7-9468-5B62821EEB5A}.Release|x86.Build.0 = Release|Any CPU
- {2A8E577B-7B6D-4CA9-832A-CA2EEC314812}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
- {2A8E577B-7B6D-4CA9-832A-CA2EEC314812}.Debug|Any CPU.Build.0 = Debug|Any CPU
- {2A8E577B-7B6D-4CA9-832A-CA2EEC314812}.Debug|x64.ActiveCfg = Debug|Any CPU
- {2A8E577B-7B6D-4CA9-832A-CA2EEC314812}.Debug|x64.Build.0 = Debug|Any CPU
- {2A8E577B-7B6D-4CA9-832A-CA2EEC314812}.Debug|x86.ActiveCfg = Debug|Any CPU
- {2A8E577B-7B6D-4CA9-832A-CA2EEC314812}.Debug|x86.Build.0 = Debug|Any CPU
- {2A8E577B-7B6D-4CA9-832A-CA2EEC314812}.Release|Any CPU.ActiveCfg = Release|Any CPU
- {2A8E577B-7B6D-4CA9-832A-CA2EEC314812}.Release|Any CPU.Build.0 = Release|Any CPU
- {2A8E577B-7B6D-4CA9-832A-CA2EEC314812}.Release|x64.ActiveCfg = Release|x64
- {2A8E577B-7B6D-4CA9-832A-CA2EEC314812}.Release|x64.Build.0 = Release|x64
- {2A8E577B-7B6D-4CA9-832A-CA2EEC314812}.Release|x86.ActiveCfg = Release|Any CPU
- {2A8E577B-7B6D-4CA9-832A-CA2EEC314812}.Release|x86.Build.0 = Release|Any CPU
- EndGlobalSection
- GlobalSection(SolutionProperties) = preSolution
- HideSolutionNode = FALSE
- EndGlobalSection
-EndGlobal
diff --git a/src/api/dotnet/dotnet35/Properties/AssemblyInfo.cs b/src/api/dotnet/dotnet35/Properties/AssemblyInfo.cs
deleted file mode 100644
index fb4319002..000000000
--- a/src/api/dotnet/dotnet35/Properties/AssemblyInfo.cs
+++ /dev/null
@@ -1,38 +0,0 @@
-using System;
-using System.Reflection;
-using System.Runtime.CompilerServices;
-using System.Runtime.InteropServices;
-using System.Security.Permissions;
-
-// General Information about an assembly is controlled through the following
-// set of attributes. Change these attribute values to modify the information
-// associated with an assembly.
-[assembly: AssemblyTitle("Z3 .NET Interface")]
-[assembly: AssemblyDescription(".NET Interface to the Z3 Theorem Prover")]
-[assembly: AssemblyConfiguration("")]
-[assembly: AssemblyCompany("Microsoft Corporation")]
-[assembly: AssemblyProduct("Z3")]
-[assembly: AssemblyCopyright("Copyright (C) 2006-2015 Microsoft Corporation")]
-[assembly: AssemblyTrademark("")]
-[assembly: AssemblyCulture("")]
-
-// Setting ComVisible to false makes the types in this assembly not visible
-// to COM components. If you need to access a type in this assembly from
-// COM, set the ComVisible attribute to true on that type.
-[assembly: ComVisible(false)]
-
-// The following GUID is for the ID of the typelib if this project is exposed to COM
-[assembly: Guid("4853ed71-2078-40f4-8117-bc46646bce0e")]
-
-// Version information for an assembly consists of the following four values:
-//
-// Major Version
-// Minor Version
-// Build Number
-// Revision
-//
-// You can specify all the values or you can default the Build and Revision Numbers
-// by using the '*' as shown below:
-// [assembly: AssemblyVersion("4.2.0.0")]
-[assembly: AssemblyVersion("4.5.1.6031")]
-[assembly: AssemblyFileVersion("4.5.1.6031")]
diff --git a/src/api/dotnet/dotnet35/Properties/AssemblyInfo.cs.in b/src/api/dotnet/dotnet35/Properties/AssemblyInfo.cs.in
deleted file mode 100644
index e5a85f16f..000000000
--- a/src/api/dotnet/dotnet35/Properties/AssemblyInfo.cs.in
+++ /dev/null
@@ -1,38 +0,0 @@
-using System;
-using System.Reflection;
-using System.Runtime.CompilerServices;
-using System.Runtime.InteropServices;
-using System.Security.Permissions;
-
-// General Information about an assembly is controlled through the following
-// set of attributes. Change these attribute values to modify the information
-// associated with an assembly.
-[assembly: AssemblyTitle("Z3 .NET Interface")]
-[assembly: AssemblyDescription(".NET Interface to the Z3 Theorem Prover")]
-[assembly: AssemblyConfiguration("")]
-[assembly: AssemblyCompany("Microsoft Corporation")]
-[assembly: AssemblyProduct("Z3")]
-[assembly: AssemblyCopyright("Copyright (C) 2006-2015 Microsoft Corporation")]
-[assembly: AssemblyTrademark("")]
-[assembly: AssemblyCulture("")]
-
-// Setting ComVisible to false makes the types in this assembly not visible
-// to COM components. If you need to access a type in this assembly from
-// COM, set the ComVisible attribute to true on that type.
-[assembly: ComVisible(false)]
-
-// The following GUID is for the ID of the typelib if this project is exposed to COM
-[assembly: Guid("4853ed71-2078-40f4-8117-bc46646bce0e")]
-
-// Version information for an assembly consists of the following four values:
-//
-// Major Version
-// Minor Version
-// Build Number
-// Revision
-//
-// You can specify all the values or you can default the Build and Revision Numbers
-// by using the '*' as shown below:
-// [assembly: AssemblyVersion("4.2.0.0")]
-[assembly: AssemblyVersion("@VER_MAJOR@.@VER_MINOR@.@VER_BUILD@.@VER_REVISION@")]
-[assembly: AssemblyFileVersion("@VER_MAJOR@.@VER_MINOR@.@VER_BUILD@.@VER_REVISION@")]
diff --git a/src/api/dotnet/dotnet35/Readme.NET35 b/src/api/dotnet/dotnet35/Readme.NET35
deleted file mode 100644
index 75210f8b6..000000000
--- a/src/api/dotnet/dotnet35/Readme.NET35
+++ /dev/null
@@ -1,10 +0,0 @@
-The default Z3 bindings for .NET are built for the .NET framework version 4.
-Should the need arise, it is also possible to build them for .NET 3.5; the
-instructions are as follows:
-
-In the project properties of Microsoft.Z3.csproj:
-- Under 'Application': Change Target framework to .NET Framework 3.5
-- Under 'Build': Add FRAMEWORK_LT_4 to the conditional compilation symbols
-- Remove the reference to System.Numerics
-- Install the NuGet Package "Microsoft Code Contracts for Net3.5":
- In the Package Manager Console enter Install-Package Code.Contract
diff --git a/src/api/dotnet/dotnet35/packages.config b/src/api/dotnet/dotnet35/packages.config
deleted file mode 100644
index bc9f365bc..000000000
--- a/src/api/dotnet/dotnet35/packages.config
+++ /dev/null
@@ -1,4 +0,0 @@
-
-
-
-