Puzzles solved by DEVS