![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| mozart-1.4.0.20080704-src.tar.gz | 2008-07-04 11:49 | 11M | |
| eclipse_basic.tgz | 2009-07-22 07:26 | 4.8M | |
| minion-0.8.1-src.tar.gz | 2009-04-06 10:56 | 4.1M | |
| choco-2.1.0-basic.jar | 2009-04-06 14:18 | 2.4M | |
| gecode-3.1.0.tar.gz | 2009-06-15 13:47 | 873K | |
| tailorV0.3.2.tar.gz | 2009-07-20 10:26 | 686K | |
| choco-licence.txt | 2009-08-06 11:35 | 1.5K | |
| sicstus.txt | 2009-07-31 15:10 | 87 | |