spot.translate() and spot.postprocess() should support a way to pass a option_map argument
This way we can fully emulate the -x
option of ltl2tgba
/autfilt
.
Maybe add an options=
argument that can be either an option_map
or a string
parsed to build the option_map
.