Skyscrapers

A CP model and backtracking solver for the Skyscrapers puzzle, by Megan who visited the Computer Science department for Y12 work experience in 2026.