[Spot] Re: Support for tgba_powerset() in Python

Marek Jankola <marek.jankola773@gmail.com> writes:

power_map.states_of(const int) iterable?

Hi Marek, If you apply this: https://gitlab.lre.epita.fr/spot/spot/-/commit/cbb981ffd500a8779c0c147bd6a3a... You should be able to do that.