Skip to content

Changes from Moritz' internship

Moritz Anton Halm requested to merge only-lexicographic-transfer-seqs into master

Main changes:

  • always use lexicographically first shortest transfer sequence (removed option to choose transfers interactively or from a file, as this was only needed to test my example)
  • use by default W set pruning. No pruning or genWProd and genWPart are still options.
  • options for setting an inital W-set and initalh. By default they are not set and empty h and W are used.
  • ScanetteDriver
  • raw data logger, which logs transitoins, intermediate h and W, and stats to seperate files

Merge request reports