Z3.Linq
1.0.3
Prefix Reserved
.NET 6.0
Install-Package Z3.Linq -Version 1.0.3
dotnet add package Z3.Linq --version 1.0.3
<PackageReference Include="Z3.Linq" Version="1.0.3" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
paket add Z3.Linq --version 1.0.3
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
#r "nuget: Z3.Linq, 1.0.3"
#r directive can be used in F# Interactive, C# scripting and .NET Interactive. Copy this into the interactive tool or source code of the script to reference the package.
// Install Z3.Linq as a Cake Addin
#addin nuget:?package=Z3.Linq&version=1.0.3
// Install Z3.Linq as a Cake Tool
#tool nuget:?package=Z3.Linq&version=1.0.3
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
LINQ bindings for Z3, a satisfiability modulo theories solver from Microsoft Research. Based on a proof of concept from Bart De Smet.
| Product | Versions |
|---|---|
| .NET | net6.0 net6.0-android net6.0-ios net6.0-maccatalyst net6.0-macos net6.0-tvos net6.0-windows |
Compatible target framework(s)
Additional computed target framework(s)
Learn more about Target Frameworks and .NET Standard.
-
net6.0
- MiaPlaza.ExpressionUtils (>= 1.2.0)
- Microsoft.Z3 (>= 4.8.12)
NuGet packages (1)
Showing the top 1 NuGet packages that depend on Z3.Linq:
| Package | Downloads |
|---|---|
|
Z3.Linq.Examples
Sample Theorems for Sudoku and River Crossing problems. |
GitHub repositories
This package is not used by any popular GitHub repositories.