![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/hand.right.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/uuencoded.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| ! | 1997-10-06 09:17 | 0 | |
| .g/ | 2007-08-02 14:21 | - | |
| 1 | 1997-09-25 23:15 | 0 | |
| ALPHA.fast/ | 1999-09-10 18:02 | - | |
| LINUX.debug/ | 1999-09-10 18:02 | - | |
| LINUX.fast/ | 1999-09-29 19:02 | - | |
| LINUX.profile/ | 1999-09-10 18:02 | - | |
| Makefile | 1997-10-01 13:43 | 217 | |
| NOTES | 1998-01-08 13:53 | 9.1K | |
| README | 1996-11-15 14:27 | 3.0K | |
| SGI.fast/ | 1999-09-10 18:02 | - | |
| SPARC.fast/ | 1999-09-10 18:02 | - | |
| bin/ | 1996-11-15 14:06 | - | |
| data/ | 1999-08-13 15:54 | - | |
| fact2sat.c | 1997-10-20 17:20 | 14K | |
| gmon.out | 1997-09-18 11:10 | 289K | |
| main.c | 1997-10-01 13:38 | 843 | |
| makechecker | 1998-01-08 15:05 | 642 | |
| makesame | 1998-01-09 13:53 | 1.4K | |
| makewff.c | 1997-11-14 13:35 | 3.8K | |
| makexor | 1998-01-08 14:02 | 598 | |
| out/ | 1999-08-13 15:54 | - | |
| profile.sat | 1997-09-17 17:15 | 12K | |
| profile.sat3 | 1997-09-18 11:10 | 12K | |
| sat | 1999-09-29 19:02 | 447K | |
| sat-survey.pdf | 1998-03-25 21:10 | 887K | |
| src/ | 1996-11-15 14:02 | - | |
| translators/ | 1999-08-13 15:54 | - | |
| walksat-1000b.out | 1997-09-16 16:32 | 103K | |
| walksat-dist/ | 1997-09-23 10:34 | - | |
| walksat-dist33.tar.Z.uu | 1997-09-23 10:29 | 20K | |
| walksat.c | 1998-01-08 14:19 | 38K | |
| walksat.c.old | 1997-09-15 11:11 | 29K | |
| wffs/ | 1996-11-15 13:57 | - | |