Externe Blockungs-Tools: Unterschied zwischen den Versionen

Externe Blockungs-Tools (Quelltext anzeigen)

Version vom 25. April 2020, 18:25 Uhr

87 Bytes hinzugefügt , 25. April 2020

keine Bearbeitungszusammenfassung

DKohle

118

Bearbeitungen

@@ Zeile 12: / Zeile 12: @@
 === Klausurplanung_CNF ===
-Klausurplanung_CNF wurde in JAVA von Benjamin Bartsch programmiert. Die Software ist "open source" und unterliegt der MIT oder der CC0 Lizenz, d.h. der Quellcode steht allen frei zur Verfügung, aber es dürfen keinerlei Ansprüche geltend gemacht werden. Wenn Sie den Autor kontaktieren möchten, finden Sie die E-Mail-Adresse innerhalb des Programms.
+Klausurplanung_CNF ist ein in JAVA programmiertes Tool zur Berechnung einer Klausurplanung. 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 arbeitet auf Basis der Daten des Programms Kurs42. Wenn Sie eine Import/Exportfunktion zu anderen Programmen wünschen, können Sie den Autor kontaktieren.
+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 unterstützt eine Vielzahl von Nebenbedingungen (Regeln genannt). Wenn Sie für Ihre Schule zusätzliche Regeln benötigen, können Sie ebenfalls den Autor kontaktieren.
 === Konferenzplanung_CNF ===

Externe Blockungs-Tools: Unterschied zwischen den Versionen

Externe Blockungs-Tools (Quelltext anzeigen)

Version vom 25. April 2020, 18:25 Uhr

Navigationsmenü

Suche