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