Tanagra: Reactive Planning and Constraint Solving for Mixed-Initiative Level Design
A framework for analysis of 2D platformer levels