v0.2.0

What's Changed

• Update README.md by @marcofavorito in #70
• Clean up dev environment, other fixes by @marcofavorito in #316
• Windows support for Lydia docker by @gallorob in #60
• Lydia backend fixes by @marcofavorito in #319

New Contributors

• @gallorob made their first contribution in #60

Full Changelog: v0.1.1...v0.2.0

Release v0.1.1

Minor fixes.

• Upgrade development dependencies to their latest version
• Improve MONA output processing (#57),
  by exploiting the fact that transitions are already deterministic and automaton is minimal.

Release v0.1.0

First release.

• Support for backend Lydia and LTLf2DFA,
  and translations from LTLf/LDLf
  and LTLf/PLTLf respectively.
• Synchronize with pylogics==0.1.0
  and Lydia backend at version 0.1.1.