Ropossum: an authoring tool for designing, optimizing and solving cut the rope levels
Tanagra: Reactive Planning and Constraint Solving for Mixed-Initiative Level Design