Stephen's State Space

I'm making videos doing state space analysis of puzzles, especially Stephen's Sausage Roll (the source of my username!) - this taking place in a c++ program I've written, utilising OpenGL. The largest state space I've analysed so far had over two million states, with over 160 win states. 

I'm planning to make some videos on general Sokobans soon, and the mathematics underlying the graphical presentation of the state spaces.