Lint
minor speedup
speedup
CU_323 solver: speedups
CU_323 solver: last step.
CU_323 solver: don't use this for scrambling.
CU_323 solver: new tablebase level17
CU_323 solver: return to the old way of moving layers with a twist (we do not move the front layer, we move the middle and back layers to imitate this move and keep edge1 always in place)
CU_323 solver: new schema.
CU_323 solver: corrections.
CU_323 solver: minor.
CU_323 solver: remove mUpper.
CU_323 solver: bugfixes.
CU_323 solver: tablebase.
CU_323 solver: theoretically complete.
CU_323 solver: progress