Release 1.3.0

👀 What Changed

🚀 Features and Enhancements

• Add the ability to link against the downloaded Z3 version @daemontus (#275)

⬆️ Dependencies

29 changes

• Build(deps-dev): Bump the development-dependencies group with 3 updates @dependabot (#276)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#274)
• Build(deps): Bump the github-actions group with 1 update @dependabot (#273)
• Build(deps-dev): Bump the development-dependencies group with 2 updates @dependabot (#272)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#271)
• Build(deps): Bump the github-actions group with 2 updates @dependabot (#270)
• Build(deps-dev): Bump the development-dependencies group with 5 updates @dependabot (#269)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#268)
• Build(deps): Bump the production-dependencies group with 1 update @dependabot (#266)
• Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#267)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#265)
• Build(deps): Bump the production-dependencies group with 2 updates @dependabot (#263)
• Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#264)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#262)
• Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#261)
• Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#259)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#258)
• Build(deps-dev): Bump the development-dependencies group with 3 updates @dependabot (#257)
• Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#256)
• Build(deps-dev): Bump the development-dependencies group with 7 updates @dependabot (#255)
• Build(deps): Bump the github-actions group with 1 update @dependabot (#252)
• Build(deps): Bump the production-dependencies group with 1 update @dependabot (#253)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#251)
• Build(deps): Bump undici from 5.23.0 to 5.26.3 @dependabot (#248)
• Build(deps-dev): Bump the development-dependencies group with 3 updates @dependabot (#247)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#246)
• Build(deps-dev): Bump the development-dependencies group with 4 updates @dependabot (#245)
• Build(deps): Bump the github-actions group with 1 update @dependabot (#244)
• Build(deps-dev): Bump the development-dependencies group with 5 updates @dependabot (#243)

Full Changelog: v1.2.0...v1.3.0