NanoByte.SatSolver by: bastian.eicher NanoByte 1,588 total downloads last updated 3/28/2021 Latest version: 0.3.0 SAT Boolean Satisfiability Solver DPLL DPLL Boolean Satisfiability Solver
SimpleSAT by: porrasm 176 total downloads last updated 2/2/2022 Latest version: 1.0.1 sat maxsat satisfiability logic A tool which can be used to generate Boolean Satisfiability Problem (SAT) encodings. The package can generate CNF or WCNF formats.