Added evaluation methods (skeleton of brute force).
Printing incorrect output for s20.cnf.  We should get s20.cnf to work first.
Merge branch 'master' of https://github.com/jfrederickson/daa-spring14