Mon, 03 Nov 2008 17:03:13 +0100Small improvements for the nauty reader (#55)
Peter Kovacs <kpeter@inf.elte.hu> [Mon, 03 Nov 2008 17:03:13 +0100] rev 352
Small improvements for the nauty reader (#55)