choco

6Hitze

2Antwort

Choco erzwingt eine Variable auf True, wenn es nicht sollte

Ich bin völlig neu in Choco und CP, aber ich mache ein kleines Modell, um das Steiner-Baum-Problem zu lösen, und Choco zwingt den ersten Knoten, unabhängig vom Graphen wahr zu sein ist (und es ist nic

0Hitze

1Antwort

Choco Solver ICF Einschränkung, um den Abstand zwischen min und max Variable in einem Array zu definieren

Ich habe eine Reihe von Choco Solver IntVar Variablen, sagen wir, X1, X2, ..., Xn. Ich muss eine Einschränkung definieren, die die Regel erzwingt - der Abstand (absolute Differenz) zwischen der minima

0Hitze

1Antwort

Choco Solver ICF-Einschränkung, um die Standardabweichung eines IntVar-Arrays innerhalb der Grenze zu definieren

Angenommen, ich habe ein IntVar-Array int n = 10; IntVar [] x = VariableFactory.boundedArray ("x", n, 0, 100, Solver); Ich muss eine Einschränkung definieren, die die Standardabweichung (kann eine Zah

0Hitze

1Antwort

choco assign Int IntVar

Für eine variable Array wie IntVar[][] array = VF.boolMatrix("example", 5, 10, solver); Was ist der Unterschied zwischen solver.post(ICF.arithm(array[i][j], "=", 0)); und array[i][j] = VariableFac

0Hitze

1Antwort

Choco-Solver: Koeffizienten der Variablen sind reelle Zahlen

Ich bin auf der Suche nach einer Möglichkeit, mathematische Gleichungen auf Choco Solver zu kodieren. Ich sehe, gibt es eine Möglichkeit, Einschränkungen zu kodieren wie: 3x + 4y < 9 Aber ich versuc

1Hitze

1Antwort

Converting MiniZinc-Modell zu Choco-Code

Mein Minizinc-Modell funktioniert gut, aber ich muss es in Java-Code konvertieren, also habe ich Choco, um es zu tun. Das Problem, mit dem ich gerade konfrontiert bin, ist der Mechanismus, mit dem Min

0Hitze

1Antwort

Choco Solver Constraint/Variable Definition

Ich versuche, ein Minizinc-Modell in Schokolade zu portieren. Ich weiß, wie man Variablen und andere grundlegende Dinge definiert, aber obwohl ich das Tutorial und einige Codebeispiele gelesen habe, h