We are happy to announce the release of Spot 2.14.4 This is a maintenance realease that fixes a few bugs discovered in the path month. This includes one 11-year old bug in the code that checks isomorphism between deterministic automata. This could lead to false positives from `ltlfilt --equivalent-to=...`. You can find the new release here: http://www.lre.epita.fr/dload/spot/spot-2.14.4.tar.gz See https://spot.lre.epita.fr/ for documentation and installation instructions. Please direct any feedback to <spot@lrde.epita.fr>, or create issues on https://gitlab.lre.epita.fr/spot/spot/-/issues/new New in spot 2.14.4 (2025-12-17) Library: - spot::zielonka_tree was changed to include nodes labeled by {} by default, otherwise it was hard to distinguish the tree for Inf(0) (which had an implicit {} node) from the tree for Inf(0)|Fin(0) (which did not). The old behavior, which is more memory efficient and still useful in some applications, can be requested by passing the new option zielonka_tree_options::NO_EMPTY_LAYER. Additionally, spot::zielonka_tree::empty_layer_is_even() is a new method that can now be used to distinguish between the above two trees when the NO_EMPTY_LAYER option is used. (Issue #621.) Bugs fixed: - The isomorphism checker for deterministic automata (spot::are_isomorphic_det) was ignoring colors! (Issue #627.) - The recent introduction of bdd_mt_quantify_prepare() in BuDDy caused issues with following calls to operations such as bdd_restrict(), due to caching issues. - Multiple typos in --help strings. - Workarounds for new compiler warnings.