Procedural Generation in Gravel

This thesis is concerned with procedural generation in a genre of games where it is not very common; 2D physics-based puzzle games, and which different methods of procedural generation that will work with this kind of game, if any.