ltl3hoa -> ltl3tela
The new version of ltl3hoa
is now called ltl3tela
.
We should support both names in ltlcross
/ltldo
shorthands, and update the example in ltlcross.org
.
The new version of ltl3hoa
is now called ltl3tela
.
We should support both names in ltlcross
/ltldo
shorthands, and update the example in ltlcross.org
.