v0.0.6.13

What's Changed

• Remove annotation left after opting out by @ElijahVlasov in #59
• Updated PyProject File to make a release to Pypi registry by @gat786 in #60
• Verified commits check by @ElijahVlasov in #64
• Add nice error message for missing logical variable by @ElijahVlasov in #65

New Contributors

• @gat786 made their first contribution in #60

Full Changelog: v0.0.6.11...v0.0.6.13