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

../
README.gz                                          26-Jun-1996 16:02                 409
deque.c.gz                                         10-Jun-1994 13:13                1005
deque.h.gz                                         10-Jun-1994 13:13                 276
example.wff.sat.gz                                 24-Jun-1996 05:07                2042
example.wff.unsat.gz                               24-Jun-1996 05:25                2056
junk.c.gz                                          10-Jun-1994 13:13                 336
kbsort.c.gz                                        10-Jun-1994 13:13                 481
load.c.gz                                          10-Jun-1994 13:13                3372
makefile.gz                                        10-Jun-1994 13:13                 401
mal.a.gz                                           10-Jun-1994 13:14                2194
mal.c.gz                                           10-Jun-1994 13:13                 765
picker.c.gz                                        10-Jun-1994 13:13                 583
picker_default.c.gz                                10-Jun-1994 13:13                 785
picker_dp.c.gz                                     10-Jun-1994 13:13                 335
picker_filter.c.gz                                 10-Jun-1994 13:13                2176
sap.c.gz                                           10-Jun-1994 13:13                 480
ssat.c.gz                                          10-Jun-1994 13:13                 717
tab.c.gz                                           15-Apr-1997 00:53                2766
tab.h.gz                                           10-Jun-1994 13:13                 738
tableau_fast.gz                                    24-Jun-1996 05:04                  58
ur.c.gz                                            10-Jun-1994 13:13                1574
verf.c.gz                                          10-Jun-1994 13:13                 446