VSTeam.Z3 4.11.2-alpha

.NET 6.0
This is a prerelease version of VSTeam.Z3. 
dotnet add package VSTeam.Z3 --version 4.11.2-alpha
NuGet\Install-Package VSTeam.Z3 -Version 4.11.2-alpha
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="VSTeam.Z3" Version="4.11.2-alpha" />
For projects that support PackageReference, copy this XML node into the project file to reference the package. 
paket add VSTeam.Z3 --version 4.11.2-alpha
#r "nuget: VSTeam.Z3, 4.11.2-alpha"
#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 VSTeam.Z3 as a Cake Addin
#addin nuget:?package=VSTeam.Z3&version=4.11.2-alpha&prerelease

// Install VSTeam.Z3 as a Cake Tool
#tool nuget:?package=VSTeam.Z3&version=4.11.2-alpha&prerelease

Microsoft Z3 SMT solver, which supports .NET 6.0 bindings for Apple M1 chips

Product Compatible and additional computed target framework versions.
.NET net6.0 is compatible.  net6.0-android was computed.  net6.0-ios was computed.  net6.0-maccatalyst was computed.  net6.0-macos was computed.  net6.0-tvos was computed.  net6.0-windows was computed.  net7.0 was computed.  net7.0-android was computed.  net7.0-ios was computed.  net7.0-maccatalyst was computed.  net7.0-macos was computed.  net7.0-tvos was computed.  net7.0-windows was computed.  net8.0 was computed.  net8.0-android was computed.  net8.0-browser was computed.  net8.0-ios was computed.  net8.0-maccatalyst was computed.  net8.0-macos was computed.  net8.0-tvos was computed.  net8.0-windows was computed. 
Compatible target framework(s)
Included target framework(s) (in package)
Learn more about Target Frameworks and .NET Standard.

  • net6.0

    • 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.11.2-alpha 604 10/25/2023