Die Suche ergab 296 Treffer

von B. Bartsch
Samstag 30. April 2022, 11:36
Forum: Externe Blockungsprogramme
Thema: bar_Stundenplanung
Antworten: 9
Zugriffe: 6453

Re: bar_Stundenplanung

Neue Version "2022_04_30a" Neu: Bei einer Klasse gibt es nun die Checkbox "Plan so eng wie möglich (beginnend mit der 1. Stunde)". Diese Option würde z. B. bei einer 5-Tage-Woche und 20 Wochenstunden der Klasse, alle Stunden auf die 1. bis 4. Stunde verteilen. Bei 21 Wochenstund...
von B. Bartsch
Mittwoch 13. April 2022, 12:44
Forum: Externe Blockungsprogramme
Thema: Kurs42_To_CNF
Antworten: 38
Zugriffe: 19765

Re: Kurs42_To_CNF

2022_04_13a Neu: "Beenden?"-Abfrage beim Schließen des Fensters. Neue Regel: Fach-Art#<...>#benötigt Ressource A#- Neue Regel: Fach-Art#<...>#benötigt Ressource B#- Neue Regel: Fach-Art#<...>#benötigt Ressource C#- Neue Regel: Schiene#<...>#hat Ressource A maximal#<...> Neue Regel: Schien...
von B. Bartsch
Sonntag 10. April 2022, 18:32
Forum: Externe Blockungsprogramme
Thema: bar_Stundenplanung
Antworten: 9
Zugriffe: 6453

Re: bar_Stundenplanung

Neue Version "2022_04_10a"
  • Neu: SAT-Solver KissSat nun auch verwendbar (EXE- und DLL-Datei in ZIP-Datei enthalten).
    KissSat beschleunigt die Stundenplanberechnung ca. um den Faktor 5-10.
von B. Bartsch
Sonntag 20. Februar 2022, 21:07
Forum: Externe Blockungsprogramme
Thema: Kurs42_To_CNF
Antworten: 38
Zugriffe: 19765

Re: Kurs42_To_CNF

.... bei der 1. Berechnung ggf. ABER bei der Auto-Optimierung nimmt man ja viele Einzelrechnungen (z.B. bei Strategie K). Und dann könnte Kissat schneller sein. Ich habe mal eine Q1-Blockung genommen, mit Fixierung der LKs in Schiene 1-2, forciert max. LK-DIF = 5 und max. GK-DIF = 1. Alle Berechnung...
von B. Bartsch
Sonntag 20. Februar 2022, 20:35
Forum: Externe Blockungsprogramme
Thema: Kurs42_To_CNF
Antworten: 38
Zugriffe: 19765

Re: Kurs42_To_CNF

Kissat ist durchschnittlich schneller als cryptominisat. Aber es kommt auf das Szenario an. Bei meinem Stundenplanprogramm Faktor 5-7. Bei einigen Kursblockungs-Tests nur ein wenig schneller. NACHTEIL: Kissat kann nur 1 CPU ansprechen.
von B. Bartsch
Sonntag 20. Februar 2022, 17:34
Forum: Externe Blockungsprogramme
Thema: Kurs42_To_CNF
Antworten: 38
Zugriffe: 19765

Re: Kurs42_To_CNF

2022-02-20a
Neu: Der SAT-Solver Kissat kann nun ebenfalls verwendet werden. Die Windows-EXE-Dateien von "cryptominisat" als auch "kissat" sind nun im ZIP enthalten.
von B. Bartsch
Sonntag 20. Februar 2022, 17:26
Forum: Externe Blockungsprogramme
Thema: Kurs42_To_CNF
Antworten: 38
Zugriffe: 19765

Re: Kurs42_To_CNF

... bitte einmal die Lupo-Datei zur Testung mir zuschicken. Dann kann ich untersuchen, woran es liegt.
von B. Bartsch
Mittwoch 20. Oktober 2021, 08:18
Forum: Externe Blockungsprogramme
Thema: Multi_Klausurplaner_CNF
Antworten: 38
Zugriffe: 24049

Re: Multi_Klausurplaner_CNF

Neue Version (2021-10-20b) Neue Regel: 203#Plan: Stufe <A> und Lehrkraft <B> schreibt keine Klausur am Wochentag <C>. Neue Regel: 204#Plan: Stufe <A> und Lehrkraft <B> schreibt keine Klausur am Datum <C>. Neue Regel: 107#Klausurphasen: Stufe <A> und Kurs <B>: Abstand zweier Klausuren ist höchstens ...
von B. Bartsch
Freitag 9. Juli 2021, 11:11
Forum: Externe Blockungsprogramme
Thema: bar_Stundenplanung
Antworten: 9
Zugriffe: 6453

Re: bar_Stundenplanung

Neue Version "2021_07_09a" Neu: Bei der Sortierung der Kurse werden die Kursnamen auch entsprechend angezeigt. Neu: Man kann bei Stundenelementen nun bestimmten, wie viele Nachbarn sie haben sollen. Neu: Beim Schließen des Hauptfensters wird man gefragt, ob man das Programm beenden möchte...
von B. Bartsch
Montag 5. Juli 2021, 19:42
Forum: Allgemeines
Thema: Beim Blocken Lehrer berücksichtigen
Antworten: 3
Zugriffe: 657

Re: Beim Blocken Lehrer berücksichtigen

.... und ich blocke für jeden gerne, der mir seine/ihre BLO-Datei zuschickt (+Nennung der Bedingungen/Wünsche). :geek:

Zur erweiterten Suche