Install
.NET CLI
dotnet add package Microsoft.Z3 --version 4.8.16
Package Manager Console
Install-Package Microsoft.Z3 -Version 4.8.16
PackageReference
<PackageReference Include="Microsoft.Z3" Version="4.8.16" />
Frameworks
Dependencies
No declared dependencies.
Adoption guide
A verified publisher signal is available. Assess fit from the package's supported frameworks, license and dependency graph rather than popularity alone.
Compatibility metadata lists 1 target framework; confirm the exact target used by your application.
How to read this guidance
Sources: published NuGet v3 registry metadata and explicit NuBrowse editorial guides. Refresh: package metadata is refreshed from NuGet when the page loads. Limit: this is not a security, legal or compatibility guarantee; validate the selected version in your project.
Useful next steps
Move from package metadata to a concrete selection or review workflow.