Merge pull request #1 from gleniam/master

Retrieving Glen's code
Merge branch 'master' of https://www.github.com/gleniam/3SAT_CNF
Merge branch 'master' of https://www.github.com/gleniam/3SAT_CNF
Merge branch 'master' of https://www.github.com/gleniam/3SAT_CNF
Merge branch 'master' of https://www.github.com/gleniam/3SAT_CNF
Updated completed 2-SAT Solver with moar test cases.