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

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