... das geht relativ leicht.- Button "Kill Solver/Tab schließen" --> Ein Button daneben mit der Funkiton "Kill Solver/Tab schließen UND Ordner löschen"
... das ist eine Qual- Möglichkeit, Tabs (Lösungen) umzubenennen, was auch zu einem Umbenennen des entsprechenden Ordners führt
Code: Alles auswählen
- Ausgabe der Dauer der Berechnung bis zu SAT oder UNSAT in Minuten
c Conflicts in UIP : 76104 (12114.14 confl/time_this_thread)
c Mem used : 31.67 MB
c Total time (this thread) : 6.28
s SATISFIABLE
... das geht.- Ausgabe "Max Schienen" und "Max Schüler je Kurs" in den Lösungen
Code: Alles auswählen
- Ausgabe der eingestellen Kursgrößdendifferenzen, Umwähler, Max Schienen, Max Schüler, Dauer und der Regeln auch bei UNSAT --> dann kann man nachverfolgen, welche Möglichkeiten man schon ausprobiert hat.