Added pigeon hole SAT visualizer part 1
Added variable coocurrence
Generate visualisation based on clauses instead of specific graph