_Paulo··on Solving pocket Rubik’s cube (2*2*2) using Z3 and SAT solverIn the same vein, it seems like evaluating the positions of the "cubelets" instead of "facelets" would reduce computation time a fair amount (8 values to keep track of instead of 24).