DPLL Boolean Satisfiability Solver.
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)
Dependencies
.NETFramework 4.0
No dependencies.
No dependencies.
No dependencies.
No dependencies.
No dependencies.