The algorithm for the proc-gen is super simple - like a dozen lines of code. (And, I think, it's kind of broken)But it kind of works because of the bombs because when it create a broken level you can bomb it into compliance :)
