Z3.Linq 1.0.1 Prefix Reserved

Install-Package Z3.Linq -Version 1.0.1
dotnet add package Z3.Linq --version 1.0.1
<PackageReference Include="Z3.Linq" Version="1.0.1" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
paket add Z3.Linq --version 1.0.1
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
#r "nuget: Z3.Linq, 1.0.1"
#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.1

// Install Z3.Linq as a Cake Tool
#tool nuget:?package=Z3.Linq&version=1.0.1
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.

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.

Version Downloads Last updated
1.0.1 75 12/2/2021
1.0.0 69 11/30/2021