sCUBEdiver: a visual analytics tool for discovering optimal 2 × 2 × 2 Rubik’s Cube solution sequences | Synapse