A ciphered Skyscrapers. Each letter corresponds to a distinct number.

I made a homework assignment out of this earlier puzzle – students had to use Z3 to a) solve the puzzle, and b) figure out some clues that could be safely removed (i.e. without allowing for multiple solutions). The puzzle here is my favorite of the smaller puzzles I found while setting this up; since the earlier one was “EASY”, this one of course must be “HARD” (but only because “medium” has more than 4 letters).