| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| 07.dzn.xz | 2013-11-20 19:40 | 64 | ||
| 07.uai.evid | 2013-11-20 19:41 | 2 | ||
| 07.uai.xz | 2013-11-20 19:40 | 6.5K | ||
| 07.wcsp.xz | 2013-11-20 19:41 | 475K | ||
| 07_direct.lp.xz | 2013-11-20 19:41 | 9.7M | ||
| 07_direct.wcnf.xz | 2013-11-20 19:40 | 807K | ||
| 07_support.lp.xz | 2013-11-20 19:42 | 1.9M | ||
| 07_support.wcnf.xz | 2013-11-20 19:41 | 3.9M | ||
| 08.dzn.xz | 2013-11-20 19:40 | 64 | ||
| 08.uai.evid | 2013-11-20 19:41 | 2 | ||
| 08.uai.xz | 2013-11-20 19:41 | 15K | ||
| 08.wcsp.xz | 2013-11-20 19:41 | 3.1M | ||
| 08_direct.lp.xz | 2013-11-20 19:41 | 26M | ||
| 08_direct.wcnf.xz | 2013-11-20 19:41 | 3.3M | ||
| 08_support.lp.xz | 2013-11-20 19:42 | 6.8M | ||
| 08_support.wcnf.xz | 2013-11-20 19:41 | 12M | ||
| 09.dzn.xz | 2013-11-20 19:40 | 64 | ||
| 09.uai.evid | 2013-11-20 19:42 | 2 | ||
| 09.uai.xz | 2013-11-20 19:41 | 34K | ||
| 09.wcsp.xz | 2013-11-20 19:41 | 7.3M | ||
| 09_direct.lp.xz | 2013-11-20 19:42 | 69M | ||
| 09_direct.wcnf.xz | 2013-11-20 19:42 | 6.0M | ||
| 09_support.lp.xz | 2013-11-20 19:43 | 18M | ||
| 09_support.wcnf.xz | 2013-11-20 19:42 | 28M | ||
| 10.dzn.xz | 2013-11-20 19:40 | 64 | ||
| 11.dzn.xz | 2013-11-20 19:40 | 64 | ||
| 12.dzn.xz | 2013-11-20 19:40 | 64 | ||
| golomb.mzn | 2013-11-20 19:40 | 1.3K | ||