Free Logic Puzzles

Build sequential, deductive planning rather than one-shot calculation. Sun or Moon trains binary constraint satisfaction; Frogs and Toads trains planning a multi-step move sequence under a strict rule; Cars in Chaos trains spatial planning under blocking constraints — the same skill behind real-world traffic/logistics problems.