Index of /project/akt/work/stuart/ALC
Name Last modified Size Description
RAND/ 2003-12-17 21:16 -
alc_code.tar 2003-12-17 21:15 80K
Code_Latest/ 2003-12-17 21:14 -
tests.pl 2003-12-17 21:07 3.3K
main.pl 2003-12-17 21:00 8.3K
modal_naive.pl 2003-12-17 20:51 7.7K
dimacs_file 2003-12-17 20:50 131
modal_rewrite.pl 2003-12-17 20:49 3.0K
unfinish 2003-12-17 20:07 142
K-LWB-PL/ 2003-12-17 19:29 -
BAK/ 2003-12-17 14:45 -
saved.pl 2003-12-16 16:34 3.0K
test 2003-12-08 17:21 71
EVAL/ 2003-12-08 13:21 -
eval.pl 2003-12-08 13:10 1.8K
ALC-Mac/ 2003-12-08 10:14 -
modal_var_prop.pl 2003-12-07 22:16 8.4K
modal.pl 2003-12-06 14:34 9.8K
parse_tancs.pl 2003-12-05 19:56 2.9K
testref.pl 2003-12-05 19:55 13K
parse.pl 2003-12-05 19:55 4.1K
read.pl 2003-12-05 19:55 1.5K
database.pl 2003-12-05 19:54 1.0K
tancs.pl 2003-12-05 19:54 170
hAndS.pl 2003-12-05 19:54 113
QBFcnfSSS/ 2003-12-03 20:10 -
split_p 2003-12-03 18:59 2.4K
split_n 2003-12-03 18:59 2.4K
K-LWB/ 2003-12-03 18:29 -
QBFCNF/ 2003-12-03 12:52 -
QBFLadn/ 2003-12-03 12:37 -
EvCode/ 2003-12-03 12:26 -