code wiki / prover
topic: prover
6 modules sharing the prover name family (derived from the tree's prefix discipline).
| module | description | lines | funcs |
|---|---|---|---|
| nx_prover.nx | substrate-native bounded forward-chaining proof search. | 236 | 9 |
| nx_prover_a1.nx | Phase A1 extended-rule forward-chaining prover. | 220 | 6 |
| nx_prover_a1_test.nx | Phase A1 extended-rule prover smoke. | 89 | 1 |
| nx_prover_eval.nx | honest benchmark of nx_prover capability + timing. | 174 | 7 |
| nx_prover_eval_test.nx | realistic prover capability benchmark. | 119 | 1 |
| nx_prover_test.nx | smoke for substrate-native prover. | 68 | 1 |