cnf-analysis-go is a tool to analyze DIMACS CNF files. Those files are commonly used to decode SAT problems and a few basic features of a CNF file might tell you something about the problem stated.
cnftools exposes the cnf command-line interface for quickly generating Dimacs CNF files typically for use with a SAT solver. Apply the Tseytin transformation [TSEY1970] to a CNF file producing an ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback