With some of my games, Lime Larry, BlockBot and upcoming Box Works, I've designed the levels, but I've not designed any of the sokoban levels myself. With Neko Mania the levels are generated by an algorithm which I wrote, which makes sure they are solvable, and the single, more or less infinite level for Treadstone is generated by an algorithm of my design.