Map Coloring as a SAT Problem

I wrote a little bit of Haskell in and for my Spring 2010 CS 543 class to demonstrate the power of solving search problems by transforming them into SAT problems and hitting them with a SAT solver. The source repo contains the Haskell source for a map coloring encoder.