/dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/examples/fd/ |
H A D | CalendarMen.java | 446 store.impose(new Or(v11)); in modelBasic() 447 store.impose(new Or(v12)); in modelBasic() 448 store.impose(new Or(v13)); in modelBasic() 476 store.impose(new Or(v23)); in modelBasic() 499 store.impose(new Or(v41)); in modelBasic() 500 store.impose(new Or(v42)); in modelBasic() 501 store.impose(new Or(v43)); in modelBasic() 548 store.impose(new Or(v91)); in modelBasic() 549 store.impose(new Or(v92)); in modelBasic() 550 store.impose(new Or(v93)); in modelBasic() [all …]
|
H A D | SiblingUproar.java | 168 store.impose(new Alldifferent(children)); in model() 170 store.impose(new Alldifferent(angryat)); in model() 172 store.impose(new Alldifferent(reason)); in model() 174 store.impose(new Alldifferent(way)); in model() 176 store.impose(new Alldifferent(chore)); in model() 192 store.impose(Element.choose(x1, angryat, y1)); in model() 194 store.impose(Element.choose(x2, angryat, y2)); in model() 196 store.impose(Element.choose(x3, angryat, y3)); in model() 205 store.impose(new Alldifferent(xs)); in model() 256 store.impose(new XneqY(Z, way[ihid_violin])); in model() [all …]
|
H A D | FourIslands.java | 128 store.impose(new Alldifferent(island)); in model() 129 store.impose(new Alldifferent(export)); in model() 130 store.impose(new Alldifferent(attraction)); in model() 131 store.impose(new Alldifferent(location)); in model() 134 store.impose(new XeqC(location[iNorthWest], 0)); in model() 135 store.impose(new XeqC(location[iNorthEast], 1)); in model() 136 store.impose(new XeqC(location[iSouthWest], 2)); in model() 137 store.impose(new XeqC(location[iSouthEast], 3)); in model() 145 store.impose(new XneqY(island[iPwana], location[iSouthWest])); in model() 182 store.impose(Element.choose(iI3, aSkern, island[iSkern])); in model() [all …]
|
H A D | LectureSeries.java | 121 store.impose(new Alldifferent(first)); in model() 122 store.impose(new Alldifferent(last)); in model() 123 store.impose(new Alldifferent(days)); in model() 124 store.impose(new Alldifferent(subjects)); in model() 128 store.impose(new XeqY(first[iAlice], days[iMonday])); in model() 140 store.impose(new XneqY(first[iAlice], subjects[iArt])); in model() 157 store.impose(new XneqY(last[iItakura], first[iEddie])); in model() 174 store.impose(new XneqY(last[iHaller], days[iMonday])); in model() 176 store.impose(new XneqY(first[iEddie], days[iFriday])); in model() 178 store.impose(new XneqY(first[iEddie], last[iHaller])); in model() [all …]
|
H A D | MasterClass.java | 121 store.impose(new Alldifferent(zglos)); in model() 122 store.impose(new Alldifferent(zimie)); in model() 123 store.impose(new Alldifferent(znazwisko)); in model() 133 store.impose(new XneqY(zimie[iPat], zglos[ibas])); in model() 146 store.impose(new XneqC(znazwisko[iRobinson1], 5)); in model() 147 store.impose(new XneqC(znazwisko[iRobinson2], 5)); in model() 148 store.impose(new XneqC(znazwisko[iKinsley], 5)); in model() 171 store.impose(new XneqY(zglos[itenor1], zimie[iLee])); in model() 177 store.impose(new XneqC(zimie[iVal], 3)); in model() 181 store.impose(new XneqC(zimie[iJP], 3)); in model() [all …]
|
H A D | SendMoreMoney.java | 162 store.impose(new XneqY(letters[j], letters[i])); in modelBasic() 186 store.impose(new XmulCeqZ(letters[iN], 10, numbersSEND[2])); in modelBasic() 187 store.impose(new XmulCeqZ(letters[iD], 1, numbersSEND[3])); in modelBasic() 217 store.impose(new XmulCeqZ(letters[iR], 10, numbersMORE[2])); in modelBasic() 218 store.impose(new XmulCeqZ(letters[iE], 1, numbersMORE[3])); in modelBasic() 248 store.impose(new XmulCeqZ(letters[iY], 1, numbersMONEY[4])); in modelBasic() 266 store.impose(new XneqC(letters[iS], 0)); in modelBasic() 267 store.impose(new XneqC(letters[iM], 0)); in modelBasic() 463 store.impose(new Alldiff(digits)); in model() 517 store.impose(new XneqC(s, 0)); in model() [all …]
|
H A D | Flowers.java | 145 store.impose(new Alldifferent(wifeT)); in model() 146 store.impose(new Alldifferent(wifeD)); in model() 147 store.impose(new Alldifferent(husbandT)); in model() 149 store.impose(new Alldifferent(flowerT)); in model() 150 store.impose(new Alldifferent(flowerD)); in model() 200 store.impose(new Or(ogr2)); in model() 212 store.impose(new Or(ogr4)); in model() 227 store.impose(new Or(ogr5)); in model() 237 store.impose(new Or(ogr7)); in model() 242 store.impose(new Or(ogr8)); in model() [all …]
|
H A D | SleepingArrangements.java | 102 store.impose(new Alldifferent(name)); in model() 103 store.impose(new Alldifferent(room)); in model() 112 store.impose(Element.choose(olliePos, room, name[iOllie])); in model() 142 store.impose(new XneqY(ollieRoomNo, mellieRoomNo)); in model() 143 store.impose(new XneqY(ollieRoomNo, nellieRoomNo)); in model() 144 store.impose(new XneqY(ollieRoomNo, pollieRoomNo)); in model() 145 store.impose(new XneqY(rollieRoomNo, mellieRoomNo)); in model() 146 store.impose(new XneqY(rollieRoomNo, nellieRoomNo)); in model() 147 store.impose(new XneqY(rollieRoomNo, pollieRoomNo)); in model() 172 store.impose(new XgtY(name[iRollie], name[iOllie])); in model() [all …]
|
H A D | HistoricHomes.java | 104 store.impose(new Alldifferent(street)); in model() 105 store.impose(new Alldifferent(order)); in model() 113 store.impose(new XeqC(order[i3rd], 1860)); in model() 126 store.impose(new XltY(index1, index2)); in model() 130 store.impose(new XneqC(order[i1st], 1890)); in model() 139 store.impose(new XneqC(street[iOleander_Road], 1920)); in model() 152 store.impose(new XltY(index3, index4)); in model() 153 store.impose(new XltY(index4, index5)); in model() 158 store.impose(new XneqC(street[iOleander_Road], 1900)); in model() 160 store.impose(new XneqC(order[i1st], 1900)); in model() [all …]
|
H A D | Exodus.java | 124 store.impose(new XneqC(name[i], 4)); in model() 125 store.impose(new XneqC(name[i], 6)); in model() 126 store.impose(new XneqC(name[i], 9)); in model() 127 store.impose(new XneqC(story[i], 4)); in model() 128 store.impose(new XneqC(story[i], 6)); in model() 129 store.impose(new XneqC(story[i], 9)); in model() 136 store.impose(new Alldifferent(name)); in model() 138 store.impose(new Alldifferent(story)); in model() 140 store.impose(new Alldifferent(country)); in model() 170 store.impose(new XeqC(story[iten], 5)); in model() [all …]
|
H A D | Zebra.java | 110 store.impose(new Alldifferent(color)); in model() 111 store.impose(new Alldifferent(pet)); in model() 112 store.impose(new Alldifferent(drink)); in model() 113 store.impose(new Alldifferent(nationality)); in model() 114 store.impose(new Alldifferent(profession)); in model() 117 store.impose(new XeqY(nationality[ienglish], color[ired])); in model() 118 store.impose(new XeqY(nationality[ispaniard], pet[idog])); in model() 121 store.impose(new XeqC(nationality[inorwegian], 1)); in model() 122 store.impose(new XeqY(color[igreen], drink[icoffee])); in model() 126 store.impose(new XeqC(drink[imilk], 3)); in model() [all …]
|
H A D | ProAndCon.java | 120 store.impose(new SumInt(votesMotion1, "==", sum4Group[iMotion1])); in model() 146 store.impose(new Alldifferent(sum4Group)); in model() 161 store.impose(new SumInt(sum4Group, "==", noYesVotes)); in model() 163 store.impose(new XplusYeqZ(noYesVotes, noNoVotes, noVotes)); in model() 165 store.impose(new XplusCeqZ(noNoVotes, 3, noYesVotes)); in model() 197 store.impose(new Alldifferent(weightedVotes)); in model() 214 store.impose(new SumInt(reified, "==", sumOfReified)); in model() 215 store.impose(new XlteqC(sumOfReified, 2)); in model() 221 store.impose(new SumInt(vote[iChatham], "==", sumChatham)); in model() 229 store.impose(new XeqC(vote[iAkerman][3], 1)); in model() [all …]
|
H A D | Golf.java | 124 store.impose(new Alldifferent(FN)); in model() 125 store.impose(new Alldifferent(LN)); in model() 126 store.impose(new Alldifferent(Jobs)); in model() 132 store.impose(new XltY(FN[iBill], FN[iPaul])); in model() 134 store.impose(new XltY(FN[iBill], FN[iJack])); in model() 153 store.impose(new XeqC(LN[iCarter], 78)); in model() 155 store.impose(new XltC(FN[iFrank], 78)); in model() 161 store.impose(new XneqC(FN[iBill], 81)); in model() 162 store.impose(new XneqC(FN[iPaul], 81)); in model() 163 store.impose(new XneqC(FN[iFrank], 81)); in model() [all …]
|
H A D | StonesOfHeaven.java | 121 store.impose(new Alldifferent(Color)); in model() 122 store.impose(new Alldifferent(Country)); in model() 123 store.impose(new Alldifferent(Item)); in model() 124 store.impose(new Alldifferent(Dynasty)); in model() 129 store.impose(new XeqY(Color[iwhite], Item[idragon])); in model() 131 store.impose(new XneqY(Country[iusa], Item[idragon])); in model() 136 store.impose(new XneqY(Item[ibelt], Color[iLgreen])); in model() 137 store.impose(new XneqY(Item[ibelt], Color[iDgreen])); in model() 138 store.impose(new XeqY(Item[ibelt], Dynasty[iTang])); in model() 144 store.impose(new XneqY(Country[ifin], Item[idragon])); in model() [all …]
|
H A D | Conference.java | 78 store.impose(new XneqY(sessions[iA], sessions[iJ])); in model() 80 store.impose(new XneqY(sessions[iI], sessions[iJ])); in model() 82 store.impose(new XneqY(sessions[iE], sessions[iI])); in model() 100 store.impose(new Alldifferent(temp)); in model() 106 store.impose(new Alldifferent(temp)); in model() 113 store.impose(new Alldifferent(temp)); in model() 119 store.impose(new Alldifferent(temp)); in model() 125 store.impose(new Alldifferent(temp)); in model() 130 store.impose(new XltY(sessions[iE], sessions[iJ])); in model() 135 store.impose(new XeqC(sessions[iA], 1)); in model() [all …]
|
H A D | DollarAndTicket.java | 121 store.impose(new Alldifferent(firstname)); in model() 122 store.impose(new Alldifferent(surname)); in model() 123 store.impose(new Alldifferent(team)); in model() 132 store.impose(new XneqC(surname[ipamos], 12)); in model() 133 store.impose(new XneqC(team[ibobcats], 12)); in model() 134 store.impose(new XneqC(team[istars], 12)); in model() 143 store.impose(new XmulCeqZ(surname[iott], 2, X)); in model() 144 store.impose(new XgteqY(team[iwolves], X)); in model() 147 store.impose(new XneqY(surname[iborecki], team[ikickers])); in model() 163 store.impose(new XneqY(firstname[igreg], surname[iott])); in model() [all …]
|
H A D | DonaldGeraldRobert.java | 87 store.impose(new Alldifferent(digits)); in model() 95 store.impose(new LinearInt(donald, weights, "==", donaldValue)); in model() 97 store.impose(new LinearInt(gerald, weights, "==", geraldValue)); in model() 108 store.impose(new XneqC(robert[5], 1)); in model() 109 store.impose(new XneqC(robert[5], 3)); in model() 110 store.impose(new XneqC(robert[5], 5)); in model() 111 store.impose(new XneqC(robert[5], 7)); in model() 112 store.impose(new XneqC(robert[5], 9)); in model() 115 store.impose(new XneqC(donald[0], 0)); in model() 116 store.impose(new XneqC(gerald[0], 0)); in model() [all …]
|
H A D | Tunapalooza.java | 115 store.impose(new Alldifferent(types)); in model() 116 store.impose(new Alldifferent(places)); in model() 125 store.impose(new XneqC(carnival, Ellyfish)); in model() 130 store.impose(new XneqY(vendor, reggae)); in model() 143 store.impose(new Reified(new XeqC(grunge, Ellyfish), statement1)); in model() 144 store.impose(new Reified(new XneqC(information, Retread), statement2)); in model() 145 store.impose(new Reified(new XneqC(vendor, Yellow), statement3)); in model() 149 store.impose(new SumInt(sum, "==", two)); in model() 158 store.impose(new Or(new XeqY(country, mosh), new XeqY(metal, mosh))); in model() 160 store.impose(new XneqC(mosh, Retread)); in model() [all …]
|
H A D | BlueberryMuffins.java | 138 store.impose(new Alldifferent(person)); in model() 139 store.impose(new Alldifferent(last)); in model() 140 store.impose(new Alldifferent(profession)); in model() 144 store.impose(new Alldifferent(muffins)); in model() 153 store.impose(Element.choose(I1, muffins, person[ibill])); in model() 155 store.impose(Element.choose(I2, muffins, last[iellis])); in model() 157 store.impose(new XplusYeqZ(I1, I2, six)); in model() 169 store.impose(Element.choose(I3, muffins, profession[isecretary])); in model() 171 store.impose(Element.choose(I4, muffins, profession[idogcatcher])); in model() 174 store.impose(new XgtY(I3, I4)); in model() [all …]
|
H A D | Queens.java | 96 store.impose(new XneqY(queens[i], queens[j])); in modelBasic() 113 store.impose(new XneqY(queens[i], temporary)); in modelBasic() 119 store.impose(new XneqY(queens[i], temporary)); in modelBasic() 144 store.impose(new Alldiff(queens)); in modelChanneling() 155 store.impose(new XplusCeqZ(queens[i], i, diagonalUp[i])); in modelChanneling() 162 store.impose(new Alldiff(diagonalUp)); in modelChanneling() 163 store.impose(new Alldiff(diagonalDown)); in modelChanneling() 206 store.impose(new Alldiff(queens)); in model() 222 store.impose(new XplusCeqZ(queens[i], i, diagonalUp[i])); in model() 231 store.impose(new Alldiff(diagonalUp)); in model() [all …]
|
H A D | MagicSquares.java | 87 store.impose(new Alldiff(squares)); in model() 94 store.impose(new SumInt(row, "==", k)); in model() 110 store.impose(new SumInt(diagonal, "==", k)); in model() 114 store.impose(new SumInt(diagonal, "==", k)); in model() 151 store.impose(new Alldiff(squares)); in model4Shaving() 159 store.impose(cx); in model4Shaving() 170 store.impose(cx); in model4Shaving() 180 store.impose(cx); in model4Shaving() 185 store.impose(new SumInt(diagonal, "==", k)); in model4Shaving() 225 store.impose(new SumInt(row, "==", k)); in modelDual() [all …]
|
H A D | BuildingBlocks.java | 101 store.impose(new Alldifferent(bake)); in model() 104 store.impose(new Alldifferent(onyx)); in model() 107 store.impose(new Alldifferent(echo)); in model() 110 store.impose(new Alldifferent(oval)); in model() 113 store.impose(new Alldifferent(grid)); in model() 116 store.impose(new Alldifferent(smug)); in model() 119 store.impose(new Alldifferent(jump)); in model() 122 store.impose(new Alldifferent(torn)); in model() 125 store.impose(new Alldifferent(luck)); in model() 128 store.impose(new Alldifferent(viny)); in model() [all …]
|
H A D | Newspaper.java | 125 store.impose(new In(bertie[i], new IntervalDomain(15, 1000))); in model() 156 store.impose(new CumulativeUnary(four, guardian, fourOnes, one)); in model() 163 store.impose(new CumulativeUnary(four, ft, fourOnes, one)); in model() 170 store.impose(new CumulativeUnary(four, express, fourOnes, one)); in model() 177 store.impose(new CumulativeUnary(four, sun, fourOnes, one)); in model() 190 store.impose(new XplusYlteqZ(algy[3], sun[0], makespan)); in model() 196 …store.impose(new XplusYlteqZ(bertie[bertiePrecedence[i] - 1], durations[bertiePrecedence[i] - 1][1… in model() 201 store.impose(new XplusYlteqZ(bertie[3], sun[1], makespan)); in model() 212 store.impose(new XplusYlteqZ(charlie[3], sun[2], makespan)); in model() 218 store.impose( in model() [all …]
|
/dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/examples/cpviz/ |
H A D | CPvizSendMoreMoney.java | 106 store.impose(new XneqC(letters[iS], 0)); in model() 107 store.impose(new XneqC(letters[iM], 0)); in model() 114 store.impose(new XmulCeqZ(letters[iE], 91, s2)); in model() 125 store.impose(new XplusYeqZ(s1, s2, t1)); in model() 127 store.impose(new XplusYeqZ(t1, s3, t2)); in model() 129 store.impose(new XplusYeqZ(t2, s4, t3)); in model() 131 store.impose(new XplusYeqZ(t3, s5, t4)); in model() 133 store.impose(new XplusYeqZ(t4, s6, t5)); in model() 220 store.impose(new Alldifferent(digits)); in modelGlobal() 247 store.impose(new XneqC(s, 0)); in modelGlobal() [all …]
|
/dports/math/jacop/jacop-4.8.0/src/main/java/org/jacop/examples/floats/ |
H A D | Cyclohexane.java | 79 store.impose(new PmulQeqR(x, x, xx)); in cyclohexane() 82 store.impose(new PmulQeqR(y, y, yy)); in cyclohexane() 85 store.impose(new PmulQeqR(z, z, zz)); in cyclohexane() 89 store.impose(new PplusCeqR(xx, 1.0, t1)); in cyclohexane() 92 store.impose(new PplusCeqR(yy, 1.0, t2)); in cyclohexane() 99 store.impose(new PmulQeqR(yy, t3, t4)); in cyclohexane() 102 store.impose(new PmulQeqR(zz, t1, t5)); in cyclohexane() 105 store.impose(new PmulQeqR(xx, t2, t6)); in cyclohexane() 119 store.impose(new PmulQeqR(z, t7, t10)); in cyclohexane() 122 store.impose(new PmulQeqR(x, t8, t11)); in cyclohexane() [all …]
|