Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
5.dzn.xz | 20-Nov-2013 19:15 | 22K | ||
5.uai.evid | 20-Nov-2013 19:15 | 2 | ||
5.uai.xz | 20-Nov-2013 19:15 | 17K | ||
5.wcsp.xz | 20-Nov-2013 19:15 | 17K | ||
5_direct.lp.xz | 20-Nov-2013 19:15 | 28K | ||
5_direct.wcnf.xz | 20-Nov-2013 19:15 | 30K | ||
5_support.lp.xz | 20-Nov-2013 19:15 | 223K | ||
5_support.wcnf.xz | 20-Nov-2013 19:15 | 408K | ||
28.dzn.xz | 20-Nov-2013 19:15 | 25K | ||
28.uai.evid | 20-Nov-2013 19:15 | 2 | ||
28.uai.xz | 20-Nov-2013 19:15 | 19K | ||
28.wcsp.xz | 20-Nov-2013 19:15 | 18K | ||
28_direct.lp.xz | 20-Nov-2013 19:15 | 20K | ||
28_direct.wcnf.xz | 20-Nov-2013 19:15 | 20K | ||
28_support.lp.xz | 20-Nov-2013 19:15 | 162K | ||
28_support.wcnf.xz | 20-Nov-2013 19:15 | 285K | ||
29.dzn.xz | 20-Nov-2013 19:15 | 2.2K | ||
29.uai.evid | 20-Nov-2013 19:15 | 2 | ||
29.uai.xz | 20-Nov-2013 19:15 | 1.5K | ||
29.wcsp.xz | 20-Nov-2013 19:15 | 1.5K | ||
29_direct.lp.xz | 20-Nov-2013 19:15 | 2.1K | ||
29_direct.wcnf.xz | 20-Nov-2013 19:15 | 2.1K | ||
29_support.lp.xz | 20-Nov-2013 19:15 | 10K | ||
29_support.wcnf.xz | 20-Nov-2013 19:15 | 19K | ||
42.dzn.xz | 20-Nov-2013 19:15 | 6.2K | ||
42.uai.evid | 20-Nov-2013 19:15 | 2 | ||
42.uai.xz | 20-Nov-2013 19:15 | 4.7K | ||
42.wcsp.xz | 20-Nov-2013 19:15 | 4.4K | ||
42_direct.lp.xz | 20-Nov-2013 19:15 | 5.9K | ||
42_direct.wcnf.xz | 20-Nov-2013 19:15 | 6.0K | ||
42_support.lp.xz | 20-Nov-2013 19:15 | 41K | ||
42_support.wcnf.xz | 20-Nov-2013 19:15 | 71K | ||
54.dzn.xz | 20-Nov-2013 19:15 | 1.5K | ||
54.uai.evid | 20-Nov-2013 19:15 | 2 | ||
54.uai.xz | 20-Nov-2013 19:15 | 1.1K | ||
54.wcsp.xz | 20-Nov-2013 19:15 | 1.0K | ||
54_direct.lp.xz | 20-Nov-2013 19:15 | 1.7K | ||
54_direct.wcnf.xz | 20-Nov-2013 19:15 | 1.7K | ||
54_support.lp.xz | 20-Nov-2013 19:15 | 8.9K | ||
54_support.wcnf.xz | 20-Nov-2013 19:15 | 14K | ||
404.dzn.xz | 20-Nov-2013 19:15 | 3.2K | ||
404.uai.evid | 20-Nov-2013 19:15 | 2 | ||
404.uai.xz | 20-Nov-2013 19:15 | 2.3K | ||
404.wcsp.xz | 20-Nov-2013 19:15 | 2.3K | ||
404_direct.lp.xz | 20-Nov-2013 19:15 | 3.2K | ||
404_direct.wcnf.xz | 20-Nov-2013 19:15 | 3.1K | ||
404_support.lp.xz | 20-Nov-2013 19:15 | 15K | ||
404_support.wcnf.xz | 20-Nov-2013 19:15 | 27K | ||
408.dzn.xz | 20-Nov-2013 19:15 | 11K | ||
408.uai.evid | 20-Nov-2013 19:15 | 2 | ||
408.uai.xz | 20-Nov-2013 19:15 | 8.4K | ||
408.wcsp.xz | 20-Nov-2013 19:15 | 7.7K | ||
408_direct.lp.xz | 20-Nov-2013 19:15 | 9.4K | ||
408_direct.wcnf.xz | 20-Nov-2013 19:15 | 9.4K | ||
408_support.lp.xz | 20-Nov-2013 19:15 | 83K | ||
408_support.wcnf.xz | 20-Nov-2013 19:15 | 136K | ||
412.dzn.xz | 20-Nov-2013 19:15 | 21K | ||
412.uai.evid | 20-Nov-2013 19:15 | 2 | ||
412.uai.xz | 20-Nov-2013 19:15 | 16K | ||
412.wcsp.xz | 20-Nov-2013 19:15 | 15K | ||
412_direct.lp.xz | 20-Nov-2013 19:15 | 19K | ||
412_direct.wcnf.xz | 20-Nov-2013 19:15 | 20K | ||
412_support.lp.xz | 20-Nov-2013 19:15 | 142K | ||
412_support.wcnf.xz | 20-Nov-2013 19:15 | 246K | ||
414.dzn.xz | 20-Nov-2013 19:15 | 65K | ||
414.uai.evid | 20-Nov-2013 19:15 | 2 | ||
414.uai.xz | 20-Nov-2013 19:15 | 47K | ||
414.wcsp.xz | 20-Nov-2013 19:15 | 38K | ||
414_direct.lp.xz | 20-Nov-2013 19:15 | 42K | ||
414_direct.wcnf.xz | 20-Nov-2013 19:15 | 44K | ||
414_support.lp.xz | 20-Nov-2013 19:15 | 842K | ||
414_support.wcnf.xz | 20-Nov-2013 19:15 | 1.4M | ||
503.dzn.xz | 20-Nov-2013 19:15 | 3.6K | ||
503.uai.evid | 20-Nov-2013 19:15 | 2 | ||
503.uai.xz | 20-Nov-2013 19:15 | 2.6K | ||
503.wcsp.xz | 20-Nov-2013 19:15 | 2.3K | ||
503_direct.lp.xz | 20-Nov-2013 19:15 | 3.3K | ||
503_direct.wcnf.xz | 20-Nov-2013 19:15 | 3.3K | ||
503_support.lp.xz | 20-Nov-2013 19:15 | 24K | ||
503_support.wcnf.xz | 20-Nov-2013 19:15 | 38K | ||
505.dzn.xz | 20-Nov-2013 19:15 | 13K | ||
505.uai.evid | 20-Nov-2013 19:15 | 2 | ||
505.uai.xz | 20-Nov-2013 19:15 | 9.3K | ||
505.wcsp.xz | 20-Nov-2013 19:15 | 8.2K | ||
505_direct.lp.xz | 20-Nov-2013 19:15 | 10K | ||
505_direct.wcnf.xz | 20-Nov-2013 19:15 | 10K | ||
505_support.lp.xz | 20-Nov-2013 19:15 | 110K | ||
505_support.wcnf.xz | 20-Nov-2013 19:15 | 188K | ||
507.dzn.xz | 20-Nov-2013 19:15 | 35K | ||
507.uai.evid | 20-Nov-2013 19:15 | 2 | ||
507.uai.xz | 20-Nov-2013 19:15 | 26K | ||
507.wcsp.xz | 20-Nov-2013 19:15 | 21K | ||
507_direct.lp.xz | 20-Nov-2013 19:15 | 24K | ||
507_direct.wcnf.xz | 20-Nov-2013 19:15 | 25K | ||
507_support.lp.xz | 20-Nov-2013 19:15 | 366K | ||
507_support.wcnf.xz | 20-Nov-2013 19:15 | 685K | ||
509.dzn.xz | 20-Nov-2013 19:15 | 55K | ||
509.uai.evid | 20-Nov-2013 19:15 | 2 | ||
509.uai.xz | 20-Nov-2013 19:15 | 40K | ||
509.wcsp.xz | 20-Nov-2013 19:15 | 33K | ||
509_direct.lp.xz | 20-Nov-2013 19:15 | 35K | ||
509_direct.wcnf.xz | 20-Nov-2013 19:15 | 37K | ||
509_support.lp.xz | 20-Nov-2013 19:15 | 682K | ||
509_support.wcnf.xz | 20-Nov-2013 19:15 | 1.1M | ||
1401.dzn.xz | 20-Nov-2013 19:15 | 60K | ||
1401.uai.evid | 20-Nov-2013 19:15 | 2 | ||
1401.uai.xz | 20-Nov-2013 19:15 | 47K | ||
1401.wcsp.xz | 20-Nov-2013 19:15 | 40K | ||
1401_direct.lp.xz | 20-Nov-2013 19:15 | 44K | ||
1401_direct.wcnf.xz | 20-Nov-2013 19:15 | 46K | ||
1401_support.lp.xz | 20-Nov-2013 19:15 | 656K | ||
1401_support.wcnf.xz | 20-Nov-2013 19:15 | 1.2M | ||
1403.dzn.xz | 20-Nov-2013 19:15 | 79K | ||
1403.uai.evid | 20-Nov-2013 19:15 | 2 | ||
1403.uai.xz | 20-Nov-2013 19:15 | 60K | ||
1403.wcsp.xz | 20-Nov-2013 19:15 | 50K | ||
1403_direct.lp.xz | 20-Nov-2013 19:15 | 55K | ||
1403_direct.wcnf.xz | 20-Nov-2013 19:15 | 60K | ||
1403_support.lp.xz | 20-Nov-2013 19:15 | 889K | ||
1403_support.wcnf.xz | 20-Nov-2013 19:15 | 1.6M | ||
1405.dzn.xz | 20-Nov-2013 19:15 | 107K | ||
1405.uai.evid | 20-Nov-2013 19:15 | 2 | ||
1405.uai.xz | 20-Nov-2013 19:15 | 81K | ||
1405.wcsp.xz | 20-Nov-2013 19:15 | 68K | ||
1405_direct.lp.xz | 20-Nov-2013 19:15 | 78K | ||
1405_direct.wcnf.xz | 20-Nov-2013 19:15 | 87K | ||
1405_support.lp.xz | 20-Nov-2013 19:15 | 1.2M | ||
1405_support.wcnf.xz | 20-Nov-2013 19:15 | 2.1M | ||
1407.dzn.xz | 20-Nov-2013 19:15 | 130K | ||
1407.uai.evid | 20-Nov-2013 19:15 | 2 | ||
1407.uai.xz | 20-Nov-2013 19:15 | 98K | ||
1407.wcsp.xz | 20-Nov-2013 19:15 | 81K | ||
1407_direct.lp.xz | 20-Nov-2013 19:15 | 96K | ||
1407_direct.wcnf.xz | 20-Nov-2013 19:15 | 107K | ||
1407_support.lp.xz | 20-Nov-2013 19:15 | 1.6M | ||
1407_support.wcnf.xz | 20-Nov-2013 19:15 | 2.7M | ||
1502.dzn.xz | 20-Nov-2013 19:15 | 1.9K | ||
1502.uai.evid | 20-Nov-2013 19:15 | 2 | ||
1502.uai.xz | 20-Nov-2013 19:15 | 1.6K | ||
1502.wcsp.xz | 20-Nov-2013 19:15 | 1.4K | ||
1502_direct.lp.xz | 20-Nov-2013 19:15 | 2.5K | ||
1502_direct.wcnf.xz | 20-Nov-2013 19:15 | 2.7K | ||
1502_support.lp.xz | 20-Nov-2013 19:15 | 15K | ||
1502_support.wcnf.xz | 20-Nov-2013 19:15 | 21K | ||
1504.dzn.xz | 20-Nov-2013 19:15 | 22K | ||
1504.uai.evid | 20-Nov-2013 19:15 | 2 | ||
1504.uai.xz | 20-Nov-2013 19:15 | 17K | ||
1504.wcsp.xz | 20-Nov-2013 19:15 | 14K | ||
1504_direct.lp.xz | 20-Nov-2013 19:15 | 19K | ||
1504_direct.wcnf.xz | 20-Nov-2013 19:15 | 21K | ||
1504_support.lp.xz | 20-Nov-2013 19:15 | 244K | ||
1504_support.wcnf.xz | 20-Nov-2013 19:15 | 439K | ||
1506.dzn.xz | 20-Nov-2013 19:15 | 93K | ||
1506.uai.evid | 20-Nov-2013 19:15 | 2 | ||
1506.uai.xz | 20-Nov-2013 19:15 | 70K | ||
1506.wcsp.xz | 20-Nov-2013 19:15 | 56K | ||
1506_direct.lp.xz | 20-Nov-2013 19:15 | 65K | ||
1506_direct.wcnf.xz | 20-Nov-2013 19:15 | 75K | ||
1506_support.lp.xz | 20-Nov-2013 19:15 | 1.1M | ||
1506_support.wcnf.xz | 20-Nov-2013 19:15 | 2.0M | ||
SPOT5/ | 20-Nov-2013 19:15 | - | ||
readme.txt | 20-Nov-2013 19:15 | 6.0K | ||
spot2dzn.awk | 20-Nov-2013 19:15 | 2.5K | ||
spot2dzn.sh | 20-Nov-2013 19:15 | 84 | ||
spot5.mzn | 20-Nov-2013 19:15 | 3.3K | ||