SimpleSAT (nuget): A tool which can be used to generate Boolean Satisfiability Problem (SAT) encodings. The package can generate CNF or WCNF formats.
Keywords: sat|maxsat|satisfiability|logic