Skip to content

libspotgen

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.