NanoByte.SatSolver 0.5.1-beta0003-b223ab9
Install from the command line:
Learn more about NuGet packages
$ dotnet add package NanoByte.SatSolver --version 0.5.1-beta0003-b223ab9
About this version
CDCL Boolean Satisfiability Solver
Details
- NanoByte.SatSolver
-
nano-byte
- about 2 months ago
Assets
- package.nupkg
Download activity
- Total downloads 0
- Last 30 days 0
- Last week 0
- Today 0