minizinc

0Hitze

1Antwort

Minizinc, Zählen von Vorkommen in Paaren von Paaren

Ich bin neu in der Constraint-Programmierung und spiele mit einigen grundlegenden Operationen herum. Ich möchte die Anzahl der Vorkommen eines beliebigen Elements x in einem Array von Paaren zählen. Z

1Hitze

1Antwort

MiniZinc: Auswahlpunkte anzeigen, wenn unerfüllbar

Wenn Sie Programme in MiniZinc ausführen, lässt die Flag -s -s mich die Anzahl der ausgewählten Punkte sehen, während Sie nach einer Lösung suchen. Wenn die Bedingungen jedoch unerfüllbar sind, wird d

2Hitze

2Antwort

Mehrere Ausgaben unter Minizinc

Versuchen Sie, Minizinc zu lernen, aber nach dem Durchlaufen von Beispielen, kann ich nur bestätigen, dass ich tatsächlich einige prozedurale Sprache schreiben muss, wenn ich multiple Ausgabe erhalten

0Hitze

1Antwort

Minizinc - Nummer der Lösung zählen und erste 50 nur für die Überprüfung drucken

Anders als eine Ausgabedatei erzeugen, dann mit wc -l output.txt und -1 dividiere durch 2 und Kopf -50 die output.txt, gibt es einen einfachen Weg auto no Anzahl der Lösung in minizinc zählen und die

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

2Antwort

MiniZinc - Aufgabenplanung auf mehreren Einrichtungen - kumulativ ‚var opt error‘

Ich bin neu in MiniZinc und ich habe Probleme mit einer Implementierung der folgenden CP Formulierung (vollständige Formulierung des Problems kann here (page 4/16) zu finden) Meine Implementierung sch