NanoByte.SatSolver

v0.1.0

DPLL Boolean Satisfiability Solver

bastian.eicher NanoByte

NuGet Stats Changelog

Total Downloads

7.2K

7,207

Published

Feb 20, 2019

Latest stable version

Install

.NET CLI

dotnet add package NanoByte.SatSolver --version 0.1.0

Package Manager Console

Install-Package NanoByte.SatSolver -Version 0.1.0

PackageReference

<PackageReference Include="NanoByte.SatSolver" Version="0.1.0" />

Frameworks

.NETFramework2.0 .NETFramework3.5-Client .NETFramework4.0-Client .NETFramework4.5 .NETStandard1.0 .NETStandard2.0

Dependencies

NanoByte.Common

.NETFramework2.0

[2.3.1, )

NETStandard.Library

.NETStandard1.0

[1.6.1, )

Adoption guide

Assess this package against its supported frameworks, license, maintenance signals and dependency graph before making it a project standard.

Compatibility metadata lists 6 target frameworks; 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