internal static void runExample(Network net, int opt)
{
Console.Out.WriteLine("# Problem");
//UPGRADE_TODO: Method 'java.io.PrintStream.println' was converted to 'System.Console.Out.WriteLine' which has a different behavior. "ms-help://MS.VSCC.v80/dv_commoner/local/redirect.htm?index='!DefaultContextWindowIndex'&keyword='jlca1073_javaioPrintStreamprintln_javalangObject'"
Console.Out.WriteLine(net);
Console.Out.WriteLine("# Solutions");
Solver solver = new DefaultSolver(net, opt);
for (solver.Start(); solver.WaitNext(); solver.Resume())
{
Solution solution = solver.Solution;
Console.Out.WriteLine(solution);
}
solver.Stop();
long count = solver.GetCount();
long time = solver.GetElapsedTime();
Console.Out.WriteLine("Found " + count + " solutions in " + time + " milli seconds");
Console.Out.WriteLine();
}