Merging Eric's and Sebastian's writing.
Merge branch 'master' of github.com:o11c/cs440-sudoku

Conflicts:
	write_up/sudoku.tex