Kurs42 To CNF:Hauptseite: Unterschied zwischen den Versionen

Kurs42 To CNF:Hauptseite (Quelltext anzeigen)

163 Bytes hinzugefügt , 15. April 2020

39

Bearbeitungen

@@ Zeile 44: / Zeile 44: @@
 === Daten in Kurs42 importieren ===
-Nach einer erfolgreichen Berechnung einer Blockungung legt das Programm im oben angelegten Ordner für den Export aus Kurs einen Unterordner an, dessen Name dem TAB ''B1_SAT'' entspricht und zusätzlich das Ausgabeformat enthält, hier also ''B_00001_NEU_UTF8_BOM''.
+Nach einer erfolgreichen Berechnung einer Blockungung legt das Programm im oben angelegten Ordner für den Export aus Kurs einen Unterordner an, dessen Name dem TAB ''B1_SAT'' entspricht und zusätzlich das Ausgabeformat enthält, hier also ''B_00001_NEU_UTF8_BOM''. In disem Ordner gibt es auch eine Textdatei, die das Ergebnis der Berechnung und die angewendeten Regeln dokumentiert, sodass man das Vorgehen rekonstruieren kann.
 In Kurs42 gibt es zwei Möglichkeiten, diese Blockung zu importieren:
 # Unter ''Import/Export'' --> ''Import der SAT-Solver-Ergebnisse'' alle Häkchen setzen und den Ordner ''B_00001_NEU_UTF8_BOM'' auswählen. Die Blockung ist importiert und kann z.B. unter ''Blocken'' --> ''Automatisch Blocken'' eingesehen und bearbeitet werden.
 # Unter ''Datei'' --> ''Neue Blockung aus Textdatei'' wird der o.g. Ordner gewählt, alle Häkchen gesetzt und importiert.
 Das zweite Vorgehen hat den Vorteil, dass man nicht versehentlich eine bestehende Blockung überschreibt und so die frisch importierte Blockung unter einem eigenen Namen speichern kann.
 === Jahrgänge Blocken ===