z3win_AnyCPU 4.5.0.5
dotnet add package z3win_AnyCPU --version 4.5.0.5
NuGet\Install-Package z3win_AnyCPU -Version 4.5.0.5
This command is intended to be used within the Package Manager Console in Visual Studio, as it uses the NuGet module's version of Install-Package.
<PackageReference Include="z3win_AnyCPU" Version="4.5.0.5" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
paket add z3win_AnyCPU --version 4.5.0.5
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
#r "nuget: z3win_AnyCPU, 4.5.0.5"
#r directive can be used in F# Interactive and Polyglot Notebooks. Copy this into the interactive tool or source code of the script to reference the package.
// Install z3win_AnyCPU as a Cake Addin
#addin nuget:?package=z3win_AnyCPU&version=4.5.0.5
// Install z3win_AnyCPU as a Cake Tool
#tool nuget:?package=z3win_AnyCPU&version=4.5.0.5
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
Contains Microsoft.Z3.dll version 4.5.0 for AnyCPU platform, the helper file libz3_x86.dll, libz3_x64.dll and the tool z3.exe
Product | Versions Compatible and additional computed target framework versions. |
---|---|
.NET Framework | net is compatible. |
Compatible target framework(s)
Included target framework(s) (in package)
Learn more about Target Frameworks and .NET Standard.
This package has no dependencies.
NuGet packages
This package is not used by any NuGet packages.
GitHub repositories
This package is not used by any popular GitHub repositories.
Version | Downloads | Last updated |
---|---|---|
4.5.0.5 | 1,406 | 7/13/2017 |
At installation time libz3_x86.dll and libz3_x86.dll is moved into the lib folder after files in lib have been added as references, libz3_x86.dll and libz3_x86.dll must be in the same folder as Microsoft.Z3.dll but is not a valid reference.