39
Bearbeitungen
Änderungen
Zur Navigation springen
Zur Suche springen
Zeile 42:
Zeile 42: − + − + + + +
Kurs42 To CNF:Hauptseite (Quelltext anzeigen)
Version vom 15. April 2020, 17:29 Uhr
, 17:29, 15. Apr. 2020→Daten in Kurs42 importieren
=== Daten in Kurs42 importieren ===
=== 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 der Nummer des TAB entspricht und zusätzlich das Ausgabeformat enthält, hier also ''B_00001_NEU_UTF8_BOM''.
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.
=== Video-Tutorials ===
=== Video-Tutorials ===
...
...