![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| read.me | 11-Oct-1999 12:10 | 10K | |
| nug.alw | 11-Oct-1999 12:10 | 420K | |
| nautyex.c | 11-Oct-1999 12:10 | 1.2K | |
| nauty.h | 11-Oct-1999 12:10 | 32K | |
| nauty.c | 11-Oct-1999 12:10 | 36K | |
| naututil.h | 11-Oct-1999 12:10 | 17K | |
| naututil.c | 11-Oct-1999 12:10 | 47K | |
| nautinv.c | 11-Oct-1999 12:10 | 44K | |
| nautil.c | 11-Oct-1999 12:10 | 41K | |
| nautaux.h | 11-Oct-1999 12:10 | 1.6K | |
| nautaux.c | 11-Oct-1999 12:10 | 6.9K | |
| makeg.c | 11-Oct-1999 12:10 | 51K | |
| makefile_lattice | 11-Oct-1999 12:10 | 2.9K | |
| makefile | 11-Oct-1999 12:10 | 2.9K | |
| makebg.c | 11-Oct-1999 12:10 | 36K | |
| dreadnaut.c | 11-Oct-1999 12:10 | 43K | |