![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Makefile | 03-Jun-2007 22:28 | 252 | |
| aprove.jar | 04-Jun-2007 07:24 | 15M | |
| aprove07final.tar.gz | 04-Jun-2007 07:26 | 14M | |
| bin/ | 04-Jun-2007 10:24 | - | |
| minisat/ | 03-Jun-2007 22:28 | - | |
| results/ | 08-Jun-2007 14:09 | - | |
| runme | 04-Jun-2007 10:25 | 180 | |