Index of /sites/dsc/storage2/community/c1/shared2/test9/saleh/SAT-stuff/sat-pack/bin/sgi/

../
makewff.gz                                         15-Nov-1996 18:40                4732
tableau.gz                                         15-Nov-1996 19:04               23218
walksat.gz                                         15-Nov-1996 19:03              101666