| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| 4s-10d.dzn.xz | 2013-11-20 19:43 | 224 | ||
| 4s-10d.uai.evid | 2013-11-20 19:43 | 2 | ||
| 4s-10d.uai.xz | 2013-11-20 19:43 | 1.7K | ||
| 4s-10d.wcsp.xz | 2013-11-20 19:43 | 5.3K | ||
| 4s-10d_direct.lp.xz | 2013-11-20 19:44 | 26K | ||
| 4s-10d_direct.wcnf.xz | 2013-11-20 19:43 | 14K | ||
| 4s-10d_support.lp.xz | 2013-11-20 19:44 | 42K | ||
| 4s-10d_support.wcnf.xz | 2013-11-20 19:43 | 60K | ||
| 4s-23d.dzn.xz | 2013-11-20 19:43 | 212 | ||
| 4s-23d.uai.evid | 2013-11-20 19:43 | 2 | ||
| 4s-23d.uai.xz | 2013-11-20 19:43 | 4.6K | ||
| 4s-23d.wcsp.xz | 2013-11-20 19:43 | 27K | ||
| 4s-23d_direct.lp.xz | 2013-11-20 19:44 | 393K | ||
| 4s-23d_direct.wcnf.xz | 2013-11-20 19:43 | 100K | ||
| 4s-23d_support.lp.xz | 2013-11-20 19:44 | 327K | ||
| 4s-23d_support.wcnf.xz | 2013-11-20 19:43 | 466K | ||
| 10s-50d.dzn.xz | 2013-11-20 19:43 | 220 | ||
| 10s-50d.uai.evid | 2013-11-20 19:43 | 2 | ||
| 10s-50d.uai.xz | 2013-11-20 19:43 | 43K | ||
| 10s-50d.wcsp.xz | 2013-11-20 19:43 | 403K | ||
| 10s-50d_direct.lp.xz | 2013-11-20 19:43 | 11M | ||
| 10s-50d_direct.wcnf.xz | 2013-11-20 19:43 | 3.2M | ||
| 10s-50d_support.lp.xz | 2013-11-20 19:44 | 14M | ||
| 10s-50d_support.wcnf.xz | 2013-11-20 19:43 | 25M | ||
| 10s-150d.dzn.xz | 2013-11-20 19:43 | 392 | ||
| 20s-200d.dzn.xz | 2013-11-20 19:43 | 256 | ||
| oc-roster.mzn | 2013-11-20 19:43 | 9.6K | ||