Puzzles solved by Lógica y Software