gleniam/3SAT_CNF — pull request #1 by tanhaoqin (2014-11-17 14:49:41+00:00)
Title: 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.