I appreciate the demos for each of these applications, but the descriptions could be more specific. I'm interested in what Trainee _does_ but it's hard to understand. There are many questions left unanswered by this page, such as: How are problems with unknown variables displayed? How are more sophisticated games displayed, such as two-player games (Connect 4), imperfect information games (Minesweeper), etc?