vsteam.Z3.M1 4.8.11-alpha.2

.NET 6.0 This package targets .NET 6.0. The package is compatible with this framework or higher.
This is a prerelease version of vsteam.Z3.M1. 
dotnet add package vsteam.Z3.M1 --version 4.8.11-alpha.2                

                    
                

            
NuGet\Install-Package vsteam.Z3.M1 -Version 4.8.11-alpha.2
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.M1" Version="4.8.11-alpha.2" />
For projects that support PackageReference, copy this XML node into the project file to reference the package. 
paket add vsteam.Z3.M1 --version 4.8.11-alpha.2                

                    
                

            
#r "nuget: vsteam.Z3.M1, 4.8.11-alpha.2"
#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.M1 as a Cake Addin
#addin nuget:?package=vsteam.Z3.M1&version=4.8.11-alpha.2&prerelease

// Install vsteam.Z3.M1 as a Cake Tool
#tool nuget:?package=vsteam.Z3.M1&version=4.8.11-alpha.2&prerelease

Microsoft Z3 SMT solver rebuilt with .NET 6.0 bindings for Apple M1 chips. NB: only macOS binaries are included

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.

This package has no dependencies.

NuGet packages (1)

Showing the top 1 NuGet packages that depend on vsteam.Z3.M1:

Package Downloads
VSTeam.VSharp

V# is a symbolic execution engine for .NET binaries, performing completely automated and unassisted test generation for .NET assemblies. It is cross-platform and supports .NET, .NET Core and .NET Framework assemblies.

GitHub repositories

This package is not used by any popular GitHub repositories.

Version Downloads Last updated
4.8.11-alpha.2 615 11/8/2022