2 packages returned for Tags:"Satisfiability"

Package type
Sort by
Options
A tool which can be used to generate Boolean Satisfiability Problem (SAT) encodings. The package can generate CNF or WCNF formats.