Graphing variable uses very little memory now. Fixed graphing literals with respect to the SNAP library.
Graphing variable uses very little memory now. Fixed graphing literals with respect to the SNAP library.

JLiangWaterloo/sat,JLiangWaterloo/sat,JLiangWaterloo/sat,JLiangWaterloo/sat,JLiangWaterloo/sat,JLiangWaterloo/sat,JLiangWaterloo/sat