The engine every cube solver shares: iterative deepening + admissible heuristic; reverse BFS encodes state distance into a 4-bit lookup table — memory for time
The 1992 classic by Herbert Kociemba: descend to subgroup G1, then solve within it. Three coordinates (CO/EO/UD-slice) and three prune tables
cs0x7f pushes two-phase to its practical limit: symmetry compression, huge prune tables, phase-1 early cutoff — instant solves on any laptop
Self-built: optimal move counts for all 5 CFOP stages. Lehmer encoding + conjugation lets four F2L slots share one prune table; 2.4M samples quantify color-neutrality