AI-assisted analysis of player strategy across level progressions in a puzzle game
Theory Solving Made Easy with Clingo 5