whitemech / LTLf2DFA

From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)
http://ltlf2dfa.diag.uniroma1.it/
GNU Lesser General Public License v3.0
63 stars 9 forks source link

udpate project #49

Closed francescofuggitti closed 1 year ago

francescofuggitti commented 1 year ago

Proposed changes

Update project

Fixes

If it fixes a bug or resolves a feature request, be sure to link to that issue.

Types of changes

What types of changes does your code introduce to agents-tac? Put an x in the boxes that apply

Checklist

Put an x in the boxes that apply.

Further comments

If this is a relatively large or complex change, kick off the discussion by explaining why you chose the solution you did and what alternatives you considered, etc...