- Switch main spectroscopy to use an energy game. (This is explained in Bisping, arXiv, 2023.)
- Add benchmarks using the VLTS suite.
- Add support to build a Docker container of the application.
- Add some features to saturate transition systems with internal steps.
- Some usability improvements (e.g. selection of states in the transition system).