alloy2/models/puzzles
