add basic rte optimize functionality
1 related merge request: !84 Merge jt - some clean uped code related to state elimination of extended automata
branch
5 jobs
74 minutes 47 seconds, queued for 1 seconds