39
Bearbeitungen
Kurs42 To CNF:Hauptseite: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
Kurs42 To CNF:Hauptseite (Quelltext anzeigen)
Version vom 15. April 2020, 16:51 Uhr
, 15. April 2020Text zum Export erstellt
Keine Bearbeitungszusammenfassung |
(Text zum Export erstellt) |
||
| Zeile 11: | Zeile 11: | ||
* Laden Sie sich den folgenden SAT-Solver (https://github.com/msoos/cryptominisat/releases) herunter und speichern Sie die Datei (für Windows: cryptominisat5-win-amd64-nogauss.exe) auf Ihrem PC und merken Sie sich den Pfad. | * Laden Sie sich den folgenden SAT-Solver (https://github.com/msoos/cryptominisat/releases) herunter und speichern Sie die Datei (für Windows: cryptominisat5-win-amd64-nogauss.exe) auf Ihrem PC und merken Sie sich den Pfad. | ||
* Installieren Sie ggf. JAVA und laden sich sich dann die aktuellste Version von Kurs42_To_CNF herunter (https://schulverwaltungsinfos.nrw.de/svws/forum/viewtopic.php?f=71&t=20&start=180). | * Installieren Sie ggf. JAVA und laden sich sich dann die aktuellste Version von Kurs42_To_CNF herunter (https://schulverwaltungsinfos.nrw.de/svws/forum/viewtopic.php?f=71&t=20&start=180). | ||
* Sie haben nun das Programm in Form einer JAR-Datei, welche man mit einem Doppelklick starten kann. | * Sie haben nun das Programm in Form einer JAR-Datei, welche man mit einem Doppelklick starten kann. Dort müssen Sie dort zunächst den Pfad zu cryptominisat...exe angeben und können dann arbeiten, aber zuvor müssen Sie jedoch noch aus Kurs42 Ihre Daten exportieren. | ||
=== Daten | === Daten in Kurs42 vorbereiten und exportieren === | ||
... | * Die Laufbahnen sollten wie üblich bereits vor dem Blocken gründlich geprüft werden | ||
* In Kurs42 werden unter ''Bearbeiten --> Kurse einrichten'' bzw. ''Bearbeiten --> Kurse einrichten (ohne Fachwahl)'' die Anzahl der Kurse pro Fach festgelegt | |||
* Unter ''Import/Export --> Export in Textdatei'' werden sämtliche Häkchen gesetzt und ein Zielordner gewählt | |||
* In Kurs42_To_CNF unter ''Datei --> Kurs42-Ordner öffnen'' den soeben mit dem Export befüllten Ordner auswählen | |||
* Die Abfrage ''Sollen alle Schüler/Kurse aus KURS42 fixiert werden?'' kann zunächst verneint werden (die Funktion dieser Abfrage wird an anderer Stelle (LINK?) erklärt) | |||
* Das Fenster ''Debug'' ganz unten sollte leer sein | |||
* Das Fenster ''Statiskik'' gibt Importinformationen an, z.B. wie viele Schüler importiert und wie viele Fächer gewählt wurden | |||