Liebe Kollegen,
ich habe mir das Programm Konferenzplanung_CNF heruntergeladen und es lässt sich auch problemlos starten.
Nun habe ich alle Kollegen mit ihren Klassen und Fächern eingegeben um die päd. Konferenzen zu organisieren,
bekomme jedoch keinen Output aus dem Programm.
In den Foren stand, dass man sich noch irgendeine Datei herunterladen sollte (Downloadlink war auch angegeben, funktionierte aber nicht).
Ich habe immer die neueste Java-Version auf dem Rechner.
Kann mir jemand sagen, welche Datei mir fehlt und wie ich diese bekomme?
Vielen Dank!
Welche Datei fehlt mir?
Moderatoren: Raffenberg, A. Schüller, Pfotenhauer
Re: Welche Datei fehlt mir?
Guten Tag, man braucht einen SAT-Solver, wahrscheinlich "cryptominisat5-win-amd64-nogauss.exe", https://github.com/msoos/cryptominisat/releases
Dann muss man unter Datei -->.. den Pfad zu dieser Datei zuweisen. Der Solver löst die Gleichungssysteme, die aus den eingegebenen Bedingungen entstehen.
Dann muss man unter Datei -->.. den Pfad zu dieser Datei zuweisen. Der Solver löst die Gleichungssysteme, die aus den eingegebenen Bedingungen entstehen.
mfG, D.Jakel
Re: Welche Datei fehlt mir?
Hallo Herr Jakel,
Datei erfolgreich heruntergeladen, Pfad zur Datei erfolgreich unter Pfadauswahl: CryptMiniSat hinzugefügt.
Nun muss ich nur noch hinbekommen, dass ich die Regeln so auswähle, dass ich auch mögliche Ergebnisse ausgeworfen bekomme. Gibt es da einen Trick? Z.B. für 3 oder 4 Schienen (also jeweils parallele stattfindende Konferenzen)? MfG W. Gade
Datei erfolgreich heruntergeladen, Pfad zur Datei erfolgreich unter Pfadauswahl: CryptMiniSat hinzugefügt.
Nun muss ich nur noch hinbekommen, dass ich die Regeln so auswähle, dass ich auch mögliche Ergebnisse ausgeworfen bekomme. Gibt es da einen Trick? Z.B. für 3 oder 4 Schienen (also jeweils parallele stattfindende Konferenzen)? MfG W. Gade
Nicht lösbar?
Das Programm läuft soweit bei der Konferenzplanung,
leider gibt es mir immer folgende Fehlermeldung, selbst wenn ich noch gar keine einschränkenden Regeln gesetzt habe:
Klassen = 28
Teilnehmer = 67
Schienen = 3
Max. Kollisionen (Priorität 1) = 2
Max. Kollisionen (Priorität 2) = 99
Die derzeitigen Einstellungen sind unlösbar!
Hat jemand eine Lösung?
leider gibt es mir immer folgende Fehlermeldung, selbst wenn ich noch gar keine einschränkenden Regeln gesetzt habe:
Klassen = 28
Teilnehmer = 67
Schienen = 3
Max. Kollisionen (Priorität 1) = 2
Max. Kollisionen (Priorität 2) = 99
Die derzeitigen Einstellungen sind unlösbar!
Hat jemand eine Lösung?
Re: Welche Datei fehlt mir?
Guten Tag,
Erhöhen Sie die Anzahl der Schienen, um sie dann bis zur "Unmöglichkeit" zu reduzieren.
Selbst mit Solver sind 3 Schienen sehr ambitioniert.
Ja, das Programm
Erhöhen Sie die Anzahl der Schienen, um sie dann bis zur "Unmöglichkeit" zu reduzieren.
--
Mit besten Grüßen
Michael Andres
Mit besten Grüßen
Michael Andres
Vielen Dank
Ganz große Klasse, jetzt läuft es prima.
Ganz vielen Dank dafür!
Schöne Grüße,
Winfrid Gade
Ganz vielen Dank dafür!
Schöne Grüße,
Winfrid Gade