## ltldo --smallest / ltldo --largest

I would like to have a new option for `ltldo`

to use it as a portfolio.

For instance:

`ltldo --smallest ltl3ba ltl2ba 'ltl2tgba -B' -f formula`

would translate the formula using the three tools, and return only the smallest automaton.

Ideally, `--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.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information