| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| ReadMe.txt | 2013-11-20 19:14 | 9.8K | ||
| berrichon1.pre | 2013-11-20 19:14 | 3.6M | ||
| berrichon1.uai.evid | 2013-11-20 19:14 | 2 | ||
| berrichon1.uai.xz | 2013-11-20 19:14 | 43K | ||
| berrichon1.wcsp.xz | 2013-11-20 19:14 | 83K | ||
| berrichon1_direct.lp.xz | 2013-11-20 19:14 | 9.8M | ||
| berrichon1_direct.wcnf.xz | 2013-11-20 19:14 | 3.7M | ||
| berrichon1_r.dzn.xz | 2013-11-20 19:15 | 25K | ||
| berrichon1_r.pre | 2013-11-20 19:14 | 249K | ||
| berrichon1_support.lp.xz | 2013-11-20 19:15 | 11M | ||
| berrichon1_support.wcnf.xz | 2013-11-20 19:14 | 11M | ||
| cancer.pre | 2013-11-20 19:14 | 764 | ||
| connell.pre | 2013-11-20 19:14 | 171 | ||
| eye.pre | 2013-11-20 19:15 | 552 | ||
| langlade3.pre | 2013-11-20 19:14 | 30K | ||
| langlade3.uai.evid | 2013-11-20 19:14 | 2 | ||
| langlade3.uai.xz | 2013-11-20 19:14 | 8.5K | ||
| langlade3.wcsp.xz | 2013-11-20 19:14 | 19K | ||
| langlade3_direct.lp.xz | 2013-11-20 19:14 | 5.1M | ||
| langlade3_direct.wcnf.xz | 2013-11-20 19:14 | 1.2M | ||
| langlade3_r.dzn.xz | 2013-11-20 19:15 | 3.6K | ||
| langlade3_r.pre | 2013-11-20 19:15 | 27K | ||
| langlade3_support.lp.xz | 2013-11-20 19:15 | 3.4M | ||
| langlade3_support.wcnf.xz | 2013-11-20 19:14 | 3.5M | ||
| langladeM2.pre | 2013-11-20 19:14 | 48K | ||
| langladeM2.uai.evid | 2013-11-20 19:14 | 2 | ||
| langladeM2.uai.xz | 2013-11-20 19:14 | 7.6K | ||
| langladeM2.wcsp.xz | 2013-11-20 19:14 | 14K | ||
| langladeM2_direct.lp.xz | 2013-11-20 19:14 | 1.3M | ||
| langladeM2_direct.wcnf.xz | 2013-11-20 19:14 | 539K | ||
| langladeM2_r.dzn.xz | 2013-11-20 19:15 | 3.9K | ||
| langladeM2_r.pre | 2013-11-20 19:15 | 43K | ||
| langladeM2_support.lp.xz | 2013-11-20 19:15 | 1.4M | ||
| langladeM2_support.wcnf.xz | 2013-11-20 19:15 | 1.4M | ||
| langladeM4.pre | 2013-11-20 19:14 | 48K | ||
| langladeM4.uai.evid | 2013-11-20 19:14 | 2 | ||
| langladeM4.uai.xz | 2013-11-20 19:14 | 7.4K | ||
| langladeM4.wcsp.xz | 2013-11-20 19:14 | 15K | ||
| langladeM4_direct.lp.xz | 2013-11-20 19:14 | 1.2M | ||
| langladeM4_direct.wcnf.xz | 2013-11-20 19:14 | 552K | ||
| langladeM4_r.dzn.xz | 2013-11-20 19:15 | 4.0K | ||
| langladeM4_r.pre | 2013-11-20 19:15 | 44K | ||
| langladeM4_support.lp.xz | 2013-11-20 19:15 | 1.4M | ||
| langladeM4_support.wcnf.xz | 2013-11-20 19:15 | 1.5M | ||
| langladeM7.pre | 2013-11-20 19:14 | 48K | ||
| langladeM7.uai.evid | 2013-11-20 19:14 | 2 | ||
| langladeM7.uai.xz | 2013-11-20 19:14 | 6.1K | ||
| langladeM7.wcsp.xz | 2013-11-20 19:14 | 10K | ||
| langladeM7_direct.lp.xz | 2013-11-20 19:14 | 229K | ||
| langladeM7_direct.wcnf.xz | 2013-11-20 19:14 | 154K | ||
| langladeM7_r.dzn.xz | 2013-11-20 19:14 | 3.8K | ||
| langladeM7_r.pre | 2013-11-20 19:15 | 43K | ||
| langladeM7_support.lp.xz | 2013-11-20 19:15 | 469K | ||
| langladeM7_support.wcnf.xz | 2013-11-20 19:15 | 504K | ||
| langladeM9.pre | 2013-11-20 19:14 | 47K | ||
| langladeM9.uai.evid | 2013-11-20 19:14 | 2 | ||
| langladeM9.uai.xz | 2013-11-20 19:14 | 8.8K | ||
| langladeM9.wcsp.xz | 2013-11-20 19:14 | 20K | ||
| langladeM9_direct.lp.xz | 2013-11-20 19:15 | 5.2M | ||
| langladeM9_direct.wcnf.xz | 2013-11-20 19:14 | 1.4M | ||
| langladeM9_r.dzn.xz | 2013-11-20 19:15 | 3.7K | ||
| langladeM9_r.pre | 2013-11-20 19:15 | 38K | ||
| langladeM9_support.lp.xz | 2013-11-20 19:15 | 3.4M | ||
| langladeM9_support.wcnf.xz | 2013-11-20 19:15 | 3.5M | ||
| moissac1.pre | 2013-11-20 19:14 | 4.9K | ||
| moissac1.uai.evid | 2013-11-20 19:14 | 2 | ||
| moissac1.uai.xz | 2013-11-20 19:14 | 1.2K | ||
| moissac1.wcsp.xz | 2013-11-20 19:14 | 1.7K | ||
| moissac1_direct.lp.xz | 2013-11-20 19:14 | 5.5K | ||
| moissac1_direct.wcnf.xz | 2013-11-20 19:14 | 5.7K | ||
| moissac1_r.dzn.xz | 2013-11-20 19:15 | 776 | ||
| moissac1_r.pre | 2013-11-20 19:15 | 4.5K | ||
| moissac1_support.lp.xz | 2013-11-20 19:15 | 20K | ||
| moissac1_support.wcnf.xz | 2013-11-20 19:15 | 22K | ||
| moissac2.pre | 2013-11-20 19:14 | 4.9K | ||
| moissac2.uai.evid | 2013-11-20 19:14 | 2 | ||
| moissac2.uai.xz | 2013-11-20 19:14 | 5.7K | ||
| moissac2.wcsp.xz | 2013-11-20 19:14 | 22K | ||
| moissac2_direct.lp.xz | 2013-11-20 19:15 | 6.9M | ||
| moissac2_direct.wcnf.xz | 2013-11-20 19:14 | 1.0M | ||
| moissac2_r.dzn.xz | 2013-11-20 19:15 | 832 | ||
| moissac2_r.pre | 2013-11-20 19:15 | 4.2K | ||
| moissac2_support.lp.xz | 2013-11-20 19:15 | 2.1M | ||
| moissac2_support.wcnf.xz | 2013-11-20 19:15 | 2.2M | ||
| moissac3.pre | 2013-11-20 19:14 | 4.9K | ||
| moissac3.uai.evid | 2013-11-20 19:14 | 2 | ||
| moissac3.uai.xz | 2013-11-20 19:14 | 1.3K | ||
| moissac3.wcsp.xz | 2013-11-20 19:14 | 2.2K | ||
| moissac3_direct.lp.xz | 2013-11-20 19:15 | 36K | ||
| moissac3_direct.wcnf.xz | 2013-11-20 19:14 | 28K | ||
| moissac3_r.dzn.xz | 2013-11-20 19:15 | 708 | ||
| moissac3_r.pre | 2013-11-20 19:14 | 3.9K | ||
| moissac3_support.lp.xz | 2013-11-20 19:15 | 71K | ||
| moissac3_support.wcnf.xz | 2013-11-20 19:15 | 84K | ||
| moissac4.pre | 2013-11-20 19:14 | 4.9K | ||
| moissac4.uai.evid | 2013-11-20 19:14 | 2 | ||
| moissac4.uai.xz | 2013-11-20 19:14 | 1.2K | ||
| moissac4.wcsp.xz | 2013-11-20 19:14 | 1.7K | ||
| moissac4_direct.lp.xz | 2013-11-20 19:15 | 5.4K | ||
| moissac4_direct.wcnf.xz | 2013-11-20 19:14 | 5.6K | ||
| moissac4_r.dzn.xz | 2013-11-20 19:15 | 788 | ||
| moissac4_r.pre | 2013-11-20 19:15 | 4.4K | ||
| moissac4_support.lp.xz | 2013-11-20 19:15 | 19K | ||
| moissac4_support.wcnf.xz | 2013-11-20 19:15 | 21K | ||
| parkinson.pre | 2013-11-20 19:15 | 588 | ||
| pedigree.mzn | 2013-11-20 19:14 | 4.0K | ||
| pre2dzn.awk | 2013-11-20 19:14 | 1.2K | ||
| pre2dzn.sh | 2013-11-20 19:14 | 77 | ||
| sobel.pre | 2013-11-20 19:15 | 98 | ||