Index of /sites/dsc/storage1/c3/shared/home/saleh/work/SA-SAT-java-stuff/SAT-stuff/


../
challenge-selman/                                  27-Feb-1998 03:11                   -
sat-pack/                                          14-Apr-1997 23:48                   -
Bart-msg.March-8.gz                                14-Apr-1997 23:46               48475
GSAT_USERS_GUIDE.gz                                12-Feb-1997 04:07               14198
README-Bart-reply.gz                               05-Mar-1997 01:04                 813
README.hard.gz                                     05-Mar-1997 01:01                 789
README.inst.gz                                     05-Mar-1997 00:50                 674
README.sat-package.gz                              05-Mar-1997 00:52                 806
logic-programming-book.gz                          05-Mar-1997 03:14                 351