0.11.0 release

[mtf90]

We are happy to announce a new release of AutomataLib 🎉

Possibly the most impactful changes of this release concern a variety of refactorings that aim at streamlining the project structure. These refactorings are part of our ongoing efforts to simplify the library and improve documentation in order make AutomataLib more accessible to new users. Expect more work in this direction for future releases as well.

Besides these changes, you shouldn't miss out on the new features that also made it in this release. We have exciting new model types for procedural and modal systems as well as a new interface to a CTL model checker for verifying properties on these systems.

Make sure to check out the release notes for a full overview and thank you to all people who have contributed to this release.