![[ICO]](/icons/blank.gif){kind=icon}
![[ ]](/icons/generic.gif){kind=icon}
![[ ]](/icons/tar.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| comparison | 1999-12-06 18:55 | 3.4K | |
| genref | 2021-09-19 22:12 | 1.1K | |
| new2old | 1999-09-22 09:40 | 434 | |
| process | 2021-09-19 18:43 | 955 | |
| psat-cnf-tancs.tar | 1999-12-06 18:03 | 1.0K | |
| psat-inv-cnf-tancs.tar | 1999-12-06 18:03 | 1.0K | |
| qbf-cnf-tancs.tar | 1999-12-06 18:03 | 1.0K | |
| qbf-cnfLadn-tancs.tar | 1999-12-06 18:03 | 1.0K | |
| qbf-cnfSSS-tancs.tar | 1999-12-06 18:03 | 1.0K | |
| qbf-cpdl-cnf-tancs.tar | 1999-12-06 18:03 | 1.0K | |
| qbf-cpdl-cnfLadn-tancs.tar | 1999-12-06 18:03 | 1.0K | |
| qbf-cpdl-cnfSSS-tancs.tar | 1999-12-06 18:03 | 1.0K | |
| qbf-inv-cnf-tancs.tar | 1999-12-06 18:03 | 1.0K | |
| qbf-inv-cnfLadn-tancs.tar | 1999-12-06 18:03 | 1.0K | |
| qbf-inv-cnfSSS-tancs.tar | 1999-12-06 18:03 | 1.0K | |
| reference | 1999-09-24 17:12 | 1.1K | |
| runx-dlp | 2021-09-19 16:19 | 398 | |
| runx-kts | 2021-09-19 16:19 | 1.0K | |
| runx-spa | 2021-09-19 16:19 | 1.3K | |
| sampling | 1999-09-23 15:58 | 3.0K | |
| tancs | 1999-12-06 18:55 | 1.6K | |