Die Suche ergab 94 Treffer
- Sonntag 3. März 2024, 11:02
- Forum: Externe Blockungsprogramme
- Thema: Programm zur Blockung - Tester gesucht!
- Antworten: 15
- Zugriffe: 8649
Re: Programm zur Blockung - Tester gesucht!
Ich habe eine neue Version veröffentlicht. Die neue Version benötigt 30% weniger Zeit zum Lösen als meine alte Version. Außerdem habe ich mir zugetragene Nachteile behoben. Unter anderem: - Das alte Windows Design sah etwas altmodisch aus. Es sind modernere Designs vorhanden. Windows Nutzer können d...
- Samstag 5. September 2020, 23:07
- Forum: Externe Blockungsprogramme
- Thema: Pädagogischen Tag blocken?
- Antworten: 1
- Zugriffe: 2210
Re: Pädagogischen Tag blocken?
Hört sich für mich im ersten Moment wie eine ganz "normale" Kursplanung an. Sollte daher vom Prinzip mit jeder Kursplanungssoftware auch ohne Workaround gehen. Ob per Hand oder nicht kommt bestimmt auf die Anzahl der Kollegen, Anzahl verschiedener Workshops und das Wahlverhalten an bzw wie...
- Freitag 10. Juli 2020, 21:25
- Forum: Externe Blockungsprogramme
- Thema: Wettbewerb / Vergleich von Blockungsprogrammen
- Antworten: 57
- Zugriffe: 31161
Re: Wettbewerb / Vergleich von Blockungsprogrammen
uppss.. verbessert.
- Freitag 10. Juli 2020, 11:23
- Forum: Externe Blockungsprogramme
- Thema: Wettbewerb / Vergleich von Blockungsprogrammen
- Antworten: 57
- Zugriffe: 31161
Re: Wettbewerb / Vergleich von Blockungsprogrammen
[...]Es ist also wenig Luft in den Blöcken. Ich habe in beiden Programmen ohne weitere Vorgaben geblockt (mit Ausnahme der beiden SuS, die nicht zusammen sollen, siehe Vorgaben.txt), und das kommerzielle Progamm kam auf KD4, während Kurs42 to CNF bei mir nur bis KD11 gekommen ist. Ich habe eine neu...
- Freitag 10. Juli 2020, 11:18
- Forum: Externe Blockungsprogramme
- Thema: Programm zur Blockung - Tester gesucht!
- Antworten: 15
- Zugriffe: 8649
Re: Programm zur Blockung - Tester gesucht!
Ich habe eine neue Version veröffentlicht.
Über Rückmledungen würde ich mich freuen:
DOWNLOAD ENTFERNT - weiter unten ist der neue Download zu finden
Die Neuerungen zeige ich hier:
https://www.youtube.com/watch?v=azKi0rQHfRk
Über Rückmledungen würde ich mich freuen:
DOWNLOAD ENTFERNT - weiter unten ist der neue Download zu finden
Die Neuerungen zeige ich hier:
https://www.youtube.com/watch?v=azKi0rQHfRk
- Samstag 27. Juni 2020, 15:22
- Forum: Externe Blockungsprogramme
- Thema: Wettbewerb / Vergleich von Blockungsprogrammen
- Antworten: 57
- Zugriffe: 31161
Re: Wettbewerb / Vergleich von Blockungsprogrammen
Ja, ist mir bekannt. Den Fall hatte ich auch direkt als Fall a) vermutet. Hätte ja auch Fall b) sein können.
Ich kann ihnen gerne Techniken schildern wie man das Problem automatisieren(minimieren) kann. Mache ich aber nur auf direkte Nachfrage um hier nicht zu stark vom Thema abzuweichen.
Ich kann ihnen gerne Techniken schildern wie man das Problem automatisieren(minimieren) kann. Mache ich aber nur auf direkte Nachfrage um hier nicht zu stark vom Thema abzuweichen.
- Samstag 27. Juni 2020, 11:12
- Forum: Externe Blockungsprogramme
- Thema: Wettbewerb / Vergleich von Blockungsprogrammen
- Antworten: 57
- Zugriffe: 31161
Re: Wettbewerb / Vergleich von Blockungsprogrammen
hmm... Stimmt, Sie werden da nicht direkt EInfluss nehmen können. Der Solver ist der kritische Bereich. Ich habe gesehen, dass es da ja zig Versionen gibt. Alleine hier findet man sehr viele: http://sat2018.forsyte.tuwien.ac.at/solvers/ da müsste ich aber viel testen :-( Haben Sie davon schon mehrer...
- Samstag 27. Juni 2020, 07:16
- Forum: Externe Blockungsprogramme
- Thema: Wettbewerb / Vergleich von Blockungsprogrammen
- Antworten: 57
- Zugriffe: 31161
Re: Wettbewerb / Vergleich von Blockungsprogrammen
Wenn Sie so einen plötzlichen Einbruch ab 120 Schüler festgestellt haben, dann vermute ich eher, dass ihre (wichtigen) Daten nicht komplett in den Cache passen und in den Hauptspeicher ausgelagert werden. Evtl. sollten Sie als ersten versuchen etwas sparsamer mit dem Speicher umzugehen. Warum ist de...
- Mittwoch 24. Juni 2020, 21:39
- Forum: Externe Blockungsprogramme
- Thema: Wettbewerb / Vergleich von Blockungsprogrammen
- Antworten: 57
- Zugriffe: 31161
Re: Wettbewerb / Vergleich von Blockungsprogrammen
Ja, alte Daten. Habe es gerade mal mit den Daten von Herrn Müller ausprobiert. Kurs42 ist ja richtig schnell geworden. Sehr gut gemacht. Ich habe nur grob getestet, keine genauen Messungen. Aber der Datensatz von Herrn Müller ist am langsamsten mit Kurs42_To_CNF. In der Mitte liegt Kurs42 und am sch...
- Mittwoch 24. Juni 2020, 15:51
- Forum: Externe Blockungsprogramme
- Thema: Wettbewerb / Vergleich von Blockungsprogrammen
- Antworten: 57
- Zugriffe: 31161
Re: Wettbewerb / Vergleich von Blockungsprogrammen
ah.. Danke. Ich hatte die alte Kurs42 Version, daher hatte ich es wohl nicht gesehen. Habe jetzt die Juni Version.
Dummerweise kann ich jetzt keine Dateien mehr importieren. Ich erhalte immer 'Feld "IdNr" nicht gefunden'.
Dummerweise kann ich jetzt keine Dateien mehr importieren. Ich erhalte immer 'Feld "IdNr" nicht gefunden'.