Poor man's SAT solver for .NET / Mono.
Info
| Version: | 1.0.0 |
| Last Update: | Friday, September 12, 2014 |
| .NET Fiddle: | Create the first Fiddle |
| Project Url: | https://github.com/interslice/poorsat |
| NuGet Url: | https://www.nuget.org/packages/Poorsat |
Install
Install-Package Poorsat
dotnet add package Poorsat
paket add Poorsat
Poorsat Download (Unzip the "nupkg" after downloading)