HNHacker News
TopNewBestAskShowJobs

_Paulo

3 karma · joined November 5, 2012

submissionscomments
_Paulo··on Solving pocket Rubik’s cube (2*2*2) using Z3 and SAT solver
In 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).