Closed ahelwer closed 5 years ago
Now use Microsoft.Z3.x64 4.8.4 Replaced .NET Fx 4.7.2 projects with .NET Core 2.2 projects Removed packages.config files Updated README.md with .NET Core instructions
Now use Microsoft.Z3.x64 4.8.4 Replaced .NET Fx 4.7.2 projects with .NET Core 2.2 projects Removed packages.config files Updated README.md with .NET Core instructions