Repository navigation
v1.0.4
·
6 commits
to main
since this release
e445e05
This commit was signed with the committer’s verified signature.
RomanBoegli
Roman Bögli
- added automaton-level extended stats using Spot
- added ad-hoc evaluate command
- minor optimizations