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