public GraphPanel(State start)
{
viewer = new GViewer();
Graph = new Graph("graph");
Graph.AddNodes(start);
viewer.ToolBarIsVisible = false;
viewer.Graph = Graph;
viewer.Dock = DockStyle.Fill;
var magnificationCoeff = 560.0 / viewer.Height;
Height = 560;
Width = (int)(viewer.Width * magnificationCoeff);
Controls.Add(viewer);
}
