code wiki / fof
topic: fof
7 modules sharing the fof name family (derived from the tree's prefix discipline).
| module | description | lines | funcs |
|---|---|---|---|
| nx_fof.nx | TPTP FOF (First-Order Form) formula tree. | 100 | 5 |
| nx_fof_cnf.nx | FOF -> CNF conversion pipeline. | 404 | 14 |
| nx_fof_cnf_test.nx | FOF -> CNF pipeline smoke + end-to-end | 170 | 3 |
| nx_fof_parse.nx | TPTP FOF formula parser. | 340 | 15 |
| nx_fof_parse_test.nx | FOF parser smoke covering each connective + | 133 | 4 |
| nx_fof_tseitin.nx | linear-size FOF -> CNF via Tseitin encoding. | 204 | 11 |
| nx_fof_tseitin_test.nx | Tseitin transformation smoke. | 146 | 3 |