Tue, 15 Mar 2011 19:54:11 +0100Change the default scaling factor in CostScaling (#417)
Peter Kovacs <kpeter@inf.elte.hu> [Tue, 15 Mar 2011 19:54:11 +0100] rev 938
Change the default scaling factor in CostScaling (#417)