/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.visualisation/src/hu/bme/mit/inf/dslreasoner/visualisation/pi2graphviz/
../
GraphvizV8WithMemory.xtend
PartialInterpretation2Graphviz.xtend
VisualisationQueque.xtend