Thu, 15 Nov 2012 07:17:48 +0100 Peter Kovacs Ensure strongly polynomial running time for CycleCanceling (#436)