Z3.Linq

v1.0.1

LINQ bindings for Z3, a satisfiability modulo theories solver from Microsoft Research. Based on a proof of concept from Bart De Smet.

endjin

Z3 LINQ Solver SMT Bart De Smet

NuGet Stats Changelog

Total Downloads

9.9K

9,897

Published

Dec 2, 2021

Latest stable version

Install

.NET CLI

dotnet add package Z3.Linq --version 1.0.1

Package Manager Console

Install-Package Z3.Linq -Version 1.0.1

PackageReference

<PackageReference Include="Z3.Linq" Version="1.0.1" />

Frameworks

net6.0

Dependencies

MiaPlaza.ExpressionUtils

net6.0

[1.2.0, )

Microsoft.Z3

net6.0

[4.8.12, )

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.

Audit NuGet dependencies in a .NET project Review NuGet licenses before shipping