Shuffling of clauses.
Merge branch 'master' of https://github.com/JLiangWaterloo/sat
Graphing variable uses very little memory now. Fixed graphing literals with respect to the SNAP library.
Merge branch 'master' of https://github.com/JLiangWaterloo/sat