These are tools to extract XNF files from CNF files and vice versa to translate XNF files back to CNF.
arminbiere/cnf2xnf
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
These are tools to extract XNF files from CNF files and vice versa to translate XNF files back to CNF.