It would be nice to have all the LTL generators of
genltl available in Python. This means we should move those functions outside of
bin/genltl.cc; but I would also prefer to not define them in
libspot.so, because that is really unlikely to be used in most tools built using Spot, and if we continue adding new hard-coded lists of formulas, it could become quite big. So I'd suggest to create a
libspotgen.so library, with Python bindings in package
spot.gen, and also its own Debian packages.
@max just suggested we might want a
genaut binary as well, and I would put the functions constructing these automata in
libspotgen.so as well.