Added 2SAT Solver uses Glen's backbone code.

Added two new classes for the two graphs used it the code.

The classes can probably be merged into one, code is a mess, comments to
be added.
Merge pull request #1 from tanhaoqin/2sat

Added 2SAT Solver uses Glen's backbone code.