Mon, 23 Feb 2009 14:51:10 +0100 Peter Kovacs Small improvements in DIMACS solver (#226)