python scripts that generate solutions to layton puzzles