Skip to content
NanoByte.SatSolver / 0.3.2-beta0041-0e868b1

NanoByte.SatSolver 0.3.2-beta0041-0e868b1

Install from the command line:
Learn more about NuGet packages
$ dotnet add package NanoByte.SatSolver --version 0.3.2-beta0041-0e868b1

About this version

DPLL Boolean Satisfiability Solver