Supporting material for "Engineering an LTLf Synthetizer Tool"

This artifact is an extended version of the artifact that support a CIAA'25 paper entitled Engineering an LTLf synthetizer tool, co-authored by Alexandre Duret-Lutz, Shufang Zhu, Nir Piterman, Giuseppe De Giacomo, and Moshe Y. Vardi. The tool in question, ltlfsynt, is part of the Spot distribution. A copy of the source code of Spot 2.14.1 is included in this artefact, along with two benchmarks. See the included README file for an history of the different versions of this artifact.