Index of /project/akt/work/stuart/ALC

Icon  Name                    Last modified      Size  Description
[DIR] RAND/ 2003-12-17 21:16 - [   ] alc_code.tar 2003-12-17 21:15 80K [DIR] 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 [TXT] dimacs_file 2003-12-17 20:50 131 [   ] modal_rewrite.pl 2003-12-17 20:49 3.0K [TXT] unfinish 2003-12-17 20:07 142 [DIR] K-LWB-PL/ 2003-12-17 19:29 - [DIR] BAK/ 2003-12-17 14:45 - [   ] saved.pl 2003-12-16 16:34 3.0K [TXT] test 2003-12-08 17:21 71 [DIR] EVAL/ 2003-12-08 13:21 - [   ] eval.pl 2003-12-08 13:10 1.8K [DIR] 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 [DIR] QBFcnfSSS/ 2003-12-03 20:10 - [   ] split_p 2003-12-03 18:59 2.4K [   ] split_n 2003-12-03 18:59 2.4K [DIR] K-LWB/ 2003-12-03 18:29 - [DIR] QBFCNF/ 2003-12-03 12:52 - [DIR] QBFLadn/ 2003-12-03 12:37 - [DIR] EvCode/ 2003-12-03 12:26 -