z3x64win 4.5.0.1
dotnet add package z3x64win --version 4.5.0.1
NuGet\Install-Package z3x64win -Version 4.5.0.1
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="z3x64win" Version="4.5.0.1" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
paket add z3x64win --version 4.5.0.1
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
#r "nuget: z3x64win, 4.5.0.1"
#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 z3x64win as a Cake Addin #addin nuget:?package=z3x64win&version=4.5.0.1 // Install z3x64win as a Cake Tool #tool nuget:?package=z3x64win&version=4.5.0.1
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 platform x64, the helper file libz3.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 (1)
Showing the top 1 popular GitHub repositories that depend on z3x64win:
| Repository | Stars |
|---|---|
|
microsoft/automatic-graph-layout
A set of tools for graph layout and viewing
|
At installation time libz3.dll is moved into the lib folder after files in lib have been added as references, libz3.dll must be in the same folder as Microsoft.Z3.dll but is not a valid reference.