Highlighted solution in 3SAT to Clique Reduction unclear

[norkish]

In the highlighted solution to the default 3sat problem with the reduction to clique also vizualized, the nodes that are highlighted in the boolean formula do not seem to correspond to the nodes that are highlighted in the clique graph (highlighting gadgets shows the correspondence between nodes).

[norkish]

This may not be a bug, but it sort of begs the question as to how helpful the visualization is at helping the user see the connection between the problems. Perhaps this could be addressed in the info box for the visualization or for the reduction or something. Better yet, find a way to make the connection obvious in the visualization.