Linear Temporal Logic over finite traces

[johnryan465]

For some circumstances LTLf would be more convient to specify than regex. LTLf can be converted to a DFA with a library such as https://github.com/whitemech/LTLf2DFA .

[rlouf]

Thanks for the suggestion! That would be a substantial addition (half of parsing.py file) to the library. Would you be willing to work on this?

[johnryan465]

Would be wiling to work on it!

[rlouf]

By all means!

[brandonwillard]

Yeah, that we be really great!