We are happy to announce the release of Spot 2.11.3. This is a maintenance release that fixes bugs discovered after we released 2.11.2. You can find the new release here: http://www.lrde.epita.fr/dload/spot/spot-2.11.3.tar.gz See https://spot.lre.epita.fr/ for documentation and installation instructions. Please direct any feedback to <spot@lrde.epita.fr>. ⚠ Note that LRDE (EPITA's Research & Development Laboratory) has been merged with another entity into something larger that is now called LRE (EPITA's Research Laboratory). The removal of "development", is nothing to worry about: we are still continuing to develop Spot as part of our research. However a consequence is that this release contains a mix of URLs in "lre.epita.fr" (for services that have already migrated to the new name) and "lrde.epita.fr". If you find a URL ending in "lrde.epita.fr" that does not work, please try without the "d". New in spot 2.11.3 (2022-12-09) Bug fixes: - Automata-based implication checks, used to simplify formulas, were slower than necessary because the translator was configured to favor determinism unnecessarily. (Issue #521.) - Automata-based implication checks for f&g and f|g could be very slow when those n-ary operator had two many arguments. They have been limited to 16 operands, but this value can be changed with option -x tls-max-ops=N. (Issue #521 too.) - Running ltl_to_tgba_fm() with an output_aborter (which is done during automata-based implication checks) would leak memory on abort. - configure --with-pythondir should also redefine pyexecdir, otherwise, libraries get installed in the wrong place on Debian. (Issue #512.) - The HOA parser used to silently declare unused and undefined states (e.g., when the State: header declare many more states than the body of the file). It now warns about those. - 'autfilt -c ...' should display a match count even in presence of parse errors. - Calling solve_parity_game() multiple times on the same automaton used to append the new strategy to the existing one instead of overwriting it.