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