NanoByte.SatSolver NuGet Package

DPLL Boolean Satisfiability Solver.




Got any NanoByte.SatSolver Question?





Info

Version: 0.3.1
Author(s): Bastian Eicher
Last Update: Monday, April 10, 2023
.NET Fiddle: Create the first Fiddle
Project Url: https://sat-solver.nano-byte.net/
NuGet Url: https://www.nuget.org/packages/NanoByte.SatSolver


Install
Install-Package NanoByte.SatSolver
dotnet add package NanoByte.SatSolver
paket add NanoByte.SatSolver
NanoByte.SatSolver Download (Unzip the "nupkg" after downloading)

.NETFramework 4.0
  • No dependencies.
.NETFramework 4.5
  • No dependencies.
.NETStandard 2.0
  • No dependencies.
net461
  • No dependencies.
netstandard2.1
  • No dependencies.




STATS

must-have-score

avg-downloads-per-day

1

days-since-last-release

354