![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| comp01.dzn.xz | 2013-11-20 19:12 | 102K | |
| comp01.wcnf.xz | 2013-11-20 19:12 | 105K | |
| comp01.wcsp.xz | 2013-11-20 19:12 | 124K | |
| comp01_direct.lp.xz | 2013-11-20 19:12 | 108K | |
| comp02.dzn.xz | 2013-11-20 19:12 | 731K | |
| comp02.wcnf.xz | 2013-11-20 19:12 | 783K | |
| comp02.wcsp.xz | 2013-11-20 19:12 | 930K | |
| comp02_direct.lp.xz | 2013-11-20 19:12 | 797K | |
| comp03.dzn.xz | 2013-11-20 19:12 | 530K | |
| comp03.wcnf.xz | 2013-11-20 19:12 | 538K | |
| comp03.wcsp.xz | 2013-11-20 19:12 | 666K | |
| comp03_direct.lp.xz | 2013-11-20 19:12 | 557K | |
| comp04.dzn.xz | 2013-11-20 19:12 | 620K | |
| comp04.wcnf.xz | 2013-11-20 19:12 | 656K | |
| comp04.wcsp.xz | 2013-11-20 19:12 | 749K | |
| comp04_direct.lp.xz | 2013-11-20 19:12 | 669K | |
| comp05.dzn.xz | 2013-11-20 19:12 | 259K | |
| comp05.wcnf.xz | 2013-11-20 19:12 | 262K | |
| comp05.wcsp.xz | 2013-11-20 19:12 | 269K | |
| comp05_direct.lp.xz | 2013-11-20 19:12 | 265K | |
| comp06.dzn.xz | 2013-11-20 19:12 | 888K | |
| comp06.wcnf.xz | 2013-11-20 19:12 | 1.0M | |
| comp06.wcsp.xz | 2013-11-20 19:12 | 1.1M | |
| comp06_direct.lp.xz | 2013-11-20 19:12 | 1.0M | |
| comp07.dzn.xz | 2013-11-20 19:12 | 2.0M | |
| comp07.wcnf.xz | 2013-11-20 19:12 | 1.9M | |
| comp07.wcsp.xz | 2013-11-20 19:12 | 2.1M | |
| comp07_direct.lp.xz | 2013-11-20 19:12 | 1.8M | |
| comp08.dzn.xz | 2013-11-20 19:12 | 773K | |
| comp08.wcnf.xz | 2013-11-20 19:12 | 834K | |
| comp08.wcsp.xz | 2013-11-20 19:12 | 1.0M | |
| comp08_direct.lp.xz | 2013-11-20 19:12 | 826K | |
| comp09.dzn.xz | 2013-11-20 19:12 | 682K | |
| comp09.wcnf.xz | 2013-11-20 19:12 | 758K | |
| comp09.wcsp.xz | 2013-11-20 19:12 | 881K | |
| comp09_direct.lp.xz | 2013-11-20 19:12 | 767K | |
| comp10.dzn.xz | 2013-11-20 19:12 | 1.2M | |
| comp10.wcnf.xz | 2013-11-20 19:12 | 1.3M | |
| comp10.wcsp.xz | 2013-11-20 19:12 | 1.5M | |
| comp10_direct.lp.xz | 2013-11-20 19:12 | 1.3M | |
| comp12.dzn.xz | 2013-11-20 19:12 | 616K | |
| comp12.wcnf.xz | 2013-11-20 19:12 | 622K | |
| comp12.wcsp.xz | 2013-11-20 19:12 | 667K | |
| comp12_direct.lp.xz | 2013-11-20 19:12 | 626K | |
| comp13.dzn.xz | 2013-11-20 19:12 | 785K | |
| comp13.wcnf.xz | 2013-11-20 19:12 | 758K | |
| comp13.wcsp.xz | 2013-11-20 19:12 | 937K | |
| comp13_direct.lp.xz | 2013-11-20 19:12 | 831K | |
| comp14.dzn.xz | 2013-11-20 19:12 | 754K | |
| comp14.wcnf.xz | 2013-11-20 19:12 | 826K | |
| comp14.wcsp.xz | 2013-11-20 19:12 | 1.0M | |
| comp14_direct.lp.xz | 2013-11-20 19:12 | 852K | |
| comp15.dzn.xz | 2013-11-20 19:12 | 530K | |
| comp15.wcnf.xz | 2013-11-20 19:12 | 538K | |
| comp15.wcsp.xz | 2013-11-20 19:12 | 666K | |
| comp15_direct.lp.xz | 2013-11-20 19:12 | 557K | |
| comp16.dzn.xz | 2013-11-20 19:12 | 1.1M | |
| comp16.wcnf.xz | 2013-11-20 19:12 | 1.2M | |
| comp16.wcsp.xz | 2013-11-20 19:12 | 1.5M | |
| comp16_direct.lp.xz | 2013-11-20 19:12 | 1.3M | |
| comp17.dzn.xz | 2013-11-20 19:12 | 1.0M | |
| comp17.wcnf.xz | 2013-11-20 19:12 | 1.0M | |
| comp17.wcsp.xz | 2013-11-20 19:12 | 1.3M | |
| comp17_direct.lp.xz | 2013-11-20 19:12 | 1.1M | |
| comp18.dzn.xz | 2013-11-20 19:12 | 260K | |
| comp18.wcnf.xz | 2013-11-20 19:12 | 270K | |
| comp18.wcsp.xz | 2013-11-20 19:12 | 294K | |
| comp18_direct.lp.xz | 2013-11-20 19:12 | 273K | |
| comp19.dzn.xz | 2013-11-20 19:12 | 655K | |
| comp19.wcnf.xz | 2013-11-20 19:12 | 708K | |
| comp19.wcsp.xz | 2013-11-20 19:12 | 863K | |
| comp19_direct.lp.xz | 2013-11-20 19:12 | 762K | |
| comp20.dzn.xz | 2013-11-20 19:12 | 1.1M | |
| comp20.wcnf.xz | 2013-11-20 19:12 | 1.2M | |
| comp20.wcsp.xz | 2013-11-20 19:12 | 1.3M | |
| comp20_direct.lp.xz | 2013-11-20 19:12 | 1.2M | |
| comp21.dzn.xz | 2013-11-20 19:12 | 1.0M | |
| comp21.wcnf.xz | 2013-11-20 19:12 | 1.0M | |
| comp21.wcsp.xz | 2013-11-20 19:12 | 1.2M | |
| comp21_direct.lp.xz | 2013-11-20 19:12 | 1.0M | |
| dds1.dzn.xz | 2013-11-20 19:12 | 5.0M | |
| dds1.wcnf.xz | 2013-11-20 19:12 | 5.2M | |
| dds1.wcsp.xz | 2013-11-20 19:12 | 5.4M | |
| dds1_direct.lp.xz | 2013-11-20 19:12 | 4.1M | |
| test1.dzn.xz | 2013-11-20 19:12 | 155K | |
| test1.wcnf.xz | 2013-11-20 19:12 | 172K | |
| test1.wcsp.xz | 2013-11-20 19:12 | 219K | |
| test1_direct.lp.xz | 2013-11-20 19:12 | 188K | |
| test2.dzn.xz | 2013-11-20 19:12 | 228K | |
| test2.wcnf.xz | 2013-11-20 19:12 | 246K | |
| test2.wcsp.xz | 2013-11-20 19:12 | 306K | |
| test2_direct.lp.xz | 2013-11-20 19:12 | 289K | |
| test3.dzn.xz | 2013-11-20 19:12 | 377K | |
| test3.wcnf.xz | 2013-11-20 19:12 | 403K | |
| test3.wcsp.xz | 2013-11-20 19:12 | 503K | |
| test3_direct.lp.xz | 2013-11-20 19:12 | 414K | |
| test4.dzn.xz | 2013-11-20 19:12 | 394K | |
| test4.wcnf.xz | 2013-11-20 19:12 | 421K | |
| test4.wcsp.xz | 2013-11-20 19:12 | 521K | |
| test4_direct.lp.xz | 2013-11-20 19:13 | 439K | |
| wcnf.mzn | 2013-11-20 19:13 | 909 | |