Puzzles solved by ANIBAL