ltldo --smallest / ltldo --largest
I would like to have a new option for
ltldo to use it as a portfolio.
ltldo --smallest ltl3ba ltl2ba 'ltl2tgba -B' -f formula
would translate the formula using the three tools, and return only the smallest automaton.
--smallest would take an optional parameter to specify what we want to minimize. Maybe we could say
--smallest=%s,%e and then use
strverscmp() on the strings to compare them. This would allow customizing the order easily.
Then it also make sense to implement
--greatest and complain of more that one of these option is used.
Finally, this should also combine with
--stats. So adding
--stats=%T to the above command should give be the name of the translator whose output was selected.