Solutions to homework assignments from Brent Yorgey's course: https://www.seas.upenn.edu/~cis1940/spring13/