3D Twisty-Puzzle Solvers
Pick your puzzle, paint the 3D model to match the real thing, and watch the solution animate move by move. The smaller puzzles get a provably shortest solution, verified by exhaustively enumerating their entire state space against independently published mathematics; the Rubik's Cube 3x3x3 uses the two-phase algorithm — short and near-optimal, honestly labelled as such; and the Rubik's Snake has no solved state at all — you fold it into target shapes discovered by exhaustive search.
Pyramorphix Solver (2x2 pyramid)
The shape-shifting pyramid — solved in at most 9 twists.
Open solver →Pocket Cube Solver (2x2x2)
The 2x2x2 Rubik’s cube — solved in at most 11 turns.
Open solver →Pyraminx Solver
The classic triangle twister — solved in at most 11 layer twists, plus tip turns.
Open solver →Skewb Solver
The corner-turning cube — solved in at most 11 twists.
Open solver →Rubik's Cube Solver (3x3x3)
The classic cube — short two-phase solutions (typically ~20 moves).
Open solver →Rubik's Snake Solver (Twist)
The 24-wedge folding snake — no solved state; fold it into the ball, the ring, the dog or the bar.
Open solver →How these solvers work
Each puzzle is modelled from one geometric source of truth: pieces are
exact convex polytopes, moves are integer rotation matrices, and the
solver is an exact-optimal search whose results are checked against the
puzzle's published position count, God's number and average solution
length. See docs/PUZZLE_ROADMAP.md for the research and
the roadmap to the rest of the Rubik's family.