Quantifying over play: Constraining undesirable solutions in puzzle design
answer set solving in practice .