NanoByte.SatSolver (nuget): DPLL Boolean Satisfiability Solver
Keywords: SAT|Boolean|Satisfiability|Solver|DPLL