Skip to content

2.1.0

Choose a tag to compare

View all tags
@Morgan2010 Morgan2010 released this 04 Jun 04:26
· 98 commits to main since this release
2.1.0
89f2439
This commit was signed with the committer’s verified signature.
Morgan2010 Morgan McColl
GPG key ID: 0DE3896F2CE83449
Verified
Learn about vigilant mode.

What's Changed

  • Add Support for GraphViz Generation of Kripke Structures. by @Morgan2010 in #7

Full Changelog: 2.0.1...2.1.0

Contributors

Morgan2010
Assets 2
Loading