public static void DrawGraph(Choosability.Graph g, string path, bool labelEdges = false)
{
var renderer = new DotRenderer(@"C:\Program Files (x86)\Graphviz2.38\bin\dot.exe");
renderer.Render(g.ToDotWithFactors(labelEdges), path, DotRenderType.png);
}