ezyang’s blog

the arc of software bends towards understanding

Hunting for constraints

> import Data.List > import Control.Monad The following question appeared as part of a numbers-based puzzle in the 2010 MIT Mystery Hunt: His final level on Wizard of Wor was equal to the smallest number that can be written as the sum of 4 non-zero squares in exactly 9 ways I'd like to explore constraint […]

  • February 15, 2010