Index
| Clause | Logic |
| dimacs | Preprocessing |
| dPLL | DPLL |
| dpll | DPLL |
| dpll' | DPLL |
| dpllAux1 | DPLL |
| dpllAux2 | DPLL |
| dPP | DPP |
| dpp | DPP |
| dpp' | DPP |
| dppAux1 | DPP |
| dppAux2 | DPP |
| Heuristic | Heuristics |
| identity | Heuristics |
| KB | Logic |
| Literal | Logic |
| literals | |
| 1 (Function) | DPP |
| 2 (Function) | DPLL |
| literalsKB | |
| 1 (Function) | DPP |
| 2 (Function) | DPLL |
| partitionL | |
| 1 (Function) | DPP |
| 2 (Function) | DPLL |
| sign | Logic |
| var | Logic |
| Variable | Logic |
| vars | |
| 1 (Function) | DPP |
| 2 (Function) | DPLL |
| varsKB | |
| 1 (Function) | DPP |
| 2 (Function) | DPLL |