Mon, 23 Feb 2009 14:51:10 +0100Small improvements in DIMACS solver (#226)
Peter Kovacs <kpeter@inf.elte.hu> [Mon, 23 Feb 2009 14:51:10 +0100] rev 532
Small improvements in DIMACS solver (#226)