Externe Blockungs-Tools: Unterschied zwischen den Versionen
(Die Seite wurde neu angelegt: „=== Kurs42_To_CNF === === Konferenzplanung_CNF === === Stundentafel_CNF === === Sitzplangenerator === ---“) |
|||
| Zeile 1: | Zeile 1: | ||
=== Kurs42_To_CNF === | === 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) die mitunter besten Blockungen mit Nebenbedingungen. Das Programm kann nur eine Blockung berechnenn, 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 und den Pfad im Programm hinterlegen. | |||
=== Konferenzplanung_CNF === | === Konferenzplanung_CNF === | ||
Version vom 15. April 2020, 09:46 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) die mitunter besten Blockungen mit Nebenbedingungen. Das Programm kann nur eine Blockung berechnenn, 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 und den Pfad im Programm hinterlegen.
Konferenzplanung_CNF
Stundentafel_CNF
Sitzplangenerator
---