v0.3.0

• 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).

v0.2.0

Compared to the original TACAS 2021 release, this release contains important fixes that are explained in Bisping, Jansen, Nestmann, arXiv 2022.