Skip to content
NanoByte.SatSolver / 0.3.2-beta0044-275e154

NanoByte.SatSolver 0.3.2-beta0044-275e154

Install from the command line:
Learn more about NuGet packages
$ dotnet add package NanoByte.SatSolver --version 0.3.2-beta0044-275e154

About this version

DPLL Boolean Satisfiability Solver