Mon, 03 Nov 2008 17:03:13 +0100 | Peter Kovacs | Small improvements for the nauty reader (#55) | changeset | files |
Mon, 03 Nov 2008 16:59:14 +0100 | Peter Kovacs | Move the doc of the nauty group to groups.dox (#55) | changeset | files |
Wed, 29 Oct 2008 15:29:34 +0100 | Balazs Dezso | Swap parameters in readNauty() | changeset | files |