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.