Externe Blockungs-Tools: Unterschied zwischen den Versionen
DKohle (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
DKohle (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 15: | Zeile 15: | ||
Das Programm Klausurplanung_CNF berechnet eine Blockung mit Hilfe vom Benutzer definierter Regeln. Für die Berechnung wird die Blockung in ein mathematisches Gleichungssystem kodiert (genauer konjunktive Normalform, engl. [C]onjunctive [N]ormal [F]orm) und mit Hilfe eines SAT-Solvers gelöst (https://github.com/msoos/cryptominisat/releases). Das passiert im Hintergrund, der Benutzer muss nur den SAT-Solver zuvor herunter laden (cryptominisat5-win-amd64-nogauss.exe) und den Pfad im Programm hinterlegen. | Das Programm Klausurplanung_CNF berechnet eine Blockung mit Hilfe vom Benutzer definierter Regeln. Für die Berechnung wird die Blockung in ein mathematisches Gleichungssystem kodiert (genauer konjunktive Normalform, engl. [C]onjunctive [N]ormal [F]orm) und mit Hilfe eines SAT-Solvers gelöst (https://github.com/msoos/cryptominisat/releases). Das passiert im Hintergrund, der Benutzer muss nur den SAT-Solver zuvor herunter laden (cryptominisat5-win-amd64-nogauss.exe) und den Pfad im Programm hinterlegen. | ||
'''[[Klausurplanung_CNF:Hauptseite|Klausurplanung_CNF: Hauptseite]]''' | '''[[Klausurplanung_CNF:Hauptseite|Klausurplanung_CNF: Hauptseite]]''' | ||
Version vom 25. April 2020, 18:28 Uhr
Kurs42_To_CNF
Kurs42_To_CNF ist ein in JAVA programmiertes Tool zur Berechnung einer Kurs-Blockung. Daten können aus Kurs42 exportiert, dann mit Kurs42_To_CNF geblockt und anschließend wieder in Kurs42 importiert werden. Das Programm ist sehr mächtig und erstellt zur Zeit (Stand: April 2020) die mitunter besten Blockungen mit Nebenbedingungen. Das Programm kann nur eine Blockung berechnen, eine andere Funktionalität ist nicht vorgesehen.
Das Programm Kurs42_To_CNF berechnet eine Blockung mit Hilfe vom Benutzer definierter Regeln. Für die Berechnung wird die Blockung in ein mathematisches Gleichungssystem kodiert (genauer konjunktive Normalform, engl. [C]onjunctive [N]ormal [F]orm) und mit Hilfe eines SAT-Solvers gelöst (https://github.com/msoos/cryptominisat/releases). Das passiert im Hintergrund, der Benutzer muss nur den SAT-Solver zuvor herunter laden (cryptominisat5-win-amd64-nogauss.exe) und den Pfad im Programm hinterlegen.
Kurs42_To_CNF: Hauptseite
Klausurplanung_CNF
Klausurplanung_CNF ist ein in JAVA programmiertes Tool zur Berechnung von Klausurplanungen. Daten können aus Kurs42 exportiert, dann mit Klausurplanung_CNF geblockt und anschließend wieder in Kurs42 importiert und dort weiter verarbeitet werden, um bspw. Klausurpläne zu drucken.
Das Programm Klausurplanung_CNF berechnet eine Blockung mit Hilfe vom Benutzer definierter Regeln. Für die Berechnung wird die Blockung in ein mathematisches Gleichungssystem kodiert (genauer konjunktive Normalform, engl. [C]onjunctive [N]ormal [F]orm) und mit Hilfe eines SAT-Solvers gelöst (https://github.com/msoos/cryptominisat/releases). Das passiert im Hintergrund, der Benutzer muss nur den SAT-Solver zuvor herunter laden (cryptominisat5-win-amd64-nogauss.exe) und den Pfad im Programm hinterlegen.
Klausurplanung_CNF: Hauptseite
Konferenzplanung_CNF
...
Sitzplangenerator
...
---