![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 2012-03-08.dzn.xz | 20-Nov-2013 19:44 | 200 | |
| 2012-03-08.uai.evid | 20-Nov-2013 19:44 | 2 | |
| 2012-03-08.uai.xz | 20-Nov-2013 19:44 | 10K | |
| 2012-03-08.wcsp.xz | 20-Nov-2013 19:44 | 20K | |
| 2012-03-08_direct.lp.xz | 20-Nov-2013 19:44 | 428K | |
| 2012-03-08_direct.wcnf.xz | 20-Nov-2013 19:44 | 254K | |
| 2012-03-08_support.lp.xz | 20-Nov-2013 19:44 | 1.1M | |
| 2012-03-08_support.wcnf.xz | 20-Nov-2013 19:44 | 1.3M | |
| 2012-03-15.dzn.xz | 20-Nov-2013 19:44 | 212 | |
| 2012-03-15.uai.evid | 20-Nov-2013 19:44 | 2 | |
| 2012-03-15.uai.xz | 20-Nov-2013 19:44 | 23K | |
| 2012-03-15.wcsp.xz | 20-Nov-2013 19:44 | 23K | |
| 2012-03-15_direct.lp.xz | 20-Nov-2013 19:44 | 592K | |
| 2012-03-15_direct.wcnf.xz | 20-Nov-2013 19:44 | 312K | |
| 2012-03-15_support.lp.xz | 20-Nov-2013 19:44 | 1.4M | |
| 2012-03-15_support.wcnf.xz | 20-Nov-2013 19:44 | 1.7M | |
| 2012-03-19.dzn.xz | 20-Nov-2013 19:44 | 172 | |
| 2012-03-19.uai.evid | 20-Nov-2013 19:44 | 2 | |
| 2012-03-19.uai.xz | 20-Nov-2013 19:44 | 5.3K | |
| 2012-03-19.wcsp.xz | 20-Nov-2013 19:44 | 9.3K | |
| 2012-03-19_direct.lp.xz | 20-Nov-2013 19:44 | 105K | |
| 2012-03-19_direct.wcnf.xz | 20-Nov-2013 19:44 | 77K | |
| 2012-03-19_support.lp.xz | 20-Nov-2013 19:44 | 236K | |
| 2012-03-19_support.wcnf.xz | 20-Nov-2013 19:44 | 291K | |
| 2012-06-22.dzn.xz | 20-Nov-2013 19:44 | 184 | |
| 2012-06-22.uai.evid | 20-Nov-2013 19:44 | 2 | |
| 2012-06-22.uai.xz | 20-Nov-2013 19:44 | 6.4K | |
| 2012-06-22.wcsp.xz | 20-Nov-2013 19:44 | 12K | |
| 2012-06-22_direct.lp.xz | 20-Nov-2013 19:44 | 181K | |
| 2012-06-22_direct.wcnf.xz | 20-Nov-2013 19:44 | 114K | |
| 2012-06-22_support.lp.xz | 20-Nov-2013 19:44 | 419K | |
| 2012-06-22_support.wcnf.xz | 20-Nov-2013 19:44 | 505K | |
| 2012-06-29.dzn.xz | 20-Nov-2013 19:44 | 188 | |
| 2012-06-29.uai.evid | 20-Nov-2013 19:44 | 2 | |
| 2012-06-29.uai.xz | 20-Nov-2013 19:44 | 7.8K | |
| 2012-06-29.wcsp.xz | 20-Nov-2013 19:44 | 15K | |
| 2012-06-29_direct.lp.xz | 20-Nov-2013 19:44 | 238K | |
| 2012-06-29_direct.wcnf.xz | 20-Nov-2013 19:44 | 164K | |
| 2012-06-29_support.lp.xz | 20-Nov-2013 19:44 | 595K | |
| 2012-06-29_support.wcnf.xz | 20-Nov-2013 19:44 | 689K | |
| 2012-07-04.dzn.xz | 20-Nov-2013 19:44 | 164 | |
| 2012-07-04.uai.evid | 20-Nov-2013 19:44 | 2 | |
| 2012-07-04.uai.xz | 20-Nov-2013 19:44 | 5.0K | |
| 2012-07-04.wcsp.xz | 20-Nov-2013 19:44 | 8.4K | |
| 2012-07-04_direct.lp.xz | 20-Nov-2013 19:44 | 70K | |
| 2012-07-04_direct.wcnf.xz | 20-Nov-2013 19:44 | 61K | |
| 2012-07-04_support.lp.xz | 20-Nov-2013 19:44 | 174K | |
| 2012-07-04_support.wcnf.xz | 20-Nov-2013 19:44 | 210K | |
| amaze.mzn | 20-Nov-2013 19:44 | 2.8K | |