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

../
Makefile.gz                                        13-Feb-1997 23:04                  80
README.cnf.gz                                      13-Feb-1997 22:59                 536
README.gz                                          13-Feb-1997 22:56                 330
README.wff.gz                                      13-Feb-1997 23:01                 762
mwff.c.gz                                          15-Feb-1997 00:27                3581