src/include/dimacs.h
Mon, 26 Apr 2004 17:39:15 +0000 Minor doc corrections
Mon, 26 Apr 2004 17:10:27 +0000 misc