MQT QuSAT 1.4.0 Release

👀 What Changed

🚀 Features and Enhancements

• 🏃 Bring repository up to speed (#189) (@denialhaag)

📄 Documentation

• 📝 Update templated files (#239) ([@mqt-app[bot]](https://github.com/[mqt-app[bot]](https://github.com/apps/mqt-app)))
• ✏️ Fix typo in README (#212) (@denialhaag)
• 📝 Update templated files (#194) ([@mqt-app[bot]](https://github.com/[mqt-app[bot]](https://github.com/apps/mqt-app)))
• 📝 Update templated files (#190) ([@mqt-app[bot]](https://github.com/[mqt-app[bot]](https://github.com/apps/mqt-app)))

⬆️ Dependencies

48 changes

• ⬆️🪝 Update pre-commit hook python-jsonschema/check-jsonschema to v0.34.1 (#243) ([@renovate[bot]](https://github.com/[renovate[bot]](https://github.com/apps/renovate)))
• ⬆️🪝 Update pre-commit hook henryiii/validate-pyproject-schema-store to v2025.10.11 (#242) ([@renovate[bot]](https://github.com/[renovate[bot]](https://github.com/apps/renovate)))
• 👷 Enable testing on Python 3.14 (#240) (@denialhaag)
• ⬆️ Update munich-quantum-toolkit/core (#241) ([@mqt-app[bot]](https://github.com/[mqt-app[bot]](https://github.com/apps/mqt-app)))
• ⬆️👨‍💻 Update munich-quantum-toolkit/templates action to v1.1.9 (#237) ([@renovate[bot]](https://github.com/[renovate[bot]](https://github.com/apps/renovate)))
• ⬆️🔒️ Lock file maintenance (#236) ([@renovate[bot]](https://github.com/[renovate[bot]](https://github.com/apps/renovate)))
• ⬆️👨‍💻 Update munich-quantum-toolkit/templates action to v1.1.7 (#235) ([@renovate[bot]](https://github.com/[renovate[bot]](https://github.com/apps/renovate)))
• ⬆️🪝 Update pre-commit hook crate-ci/typos to v1.38.1 (#233) ([@renovate[bot]](https://github.com/[renovate[bot]](https://github.com/apps/renovate)))
• ⬆️🪝 Update pre-commit hook astral-sh/ruff-pre-commit to v0.14.0 (#234) ([@renovate[bot]](https://github.com/[renovate[bot]](https://github.com/apps/renovate)))
• ⬆️🪝 update pre-commit hooks (#232) ([@pre-commit-ci[bot]](https://github.com/[pre-commit-ci[bot]](https://github.com/apps/pre-commit-ci)))
• ⬆️🔒️ Lock file maintenance (#231) ([@renovate[bot]](https://github.com/[renovate[bot]](https://github.com/apps/renovate)))
• ⬆️🪝 Update pre-commit hook python-jsonschema/check-jsonschema to v0.34.0 (#222) ([@renovate[bot]](https://github.com/[renovate[bot]](https://github.com/apps/renovate)))
• ⬆️🪝 Update pre-commit hook crate-ci/typos to v1.37.2 (#230) ([@renovate[bot]](https://github.com/[renovate[bot]](https://github.com/apps/renovate)))
• ⬆️🪝 Update pre-commit hook astral-sh/ruff-pre-commit to v0.13.3 (#229) ([@renovate[bot]](https://github.com/[renovate[bot]](https://github.com/apps/renovate)))
• ⬆️🔒️ Lock file maintenance (#228) ([@renovate[bot]](https://github.com/[renovate[bot]](https://github.com/apps/renovate)))
• ⬆️🪝 Update pre-commit hook pre-commit/mirrors-clang-format to v21.1.2 (#227) ([@renovate[bot]](https://github.com/[renovate[bot]](https://github.com/apps/renovate)))
• ⬆️🪝 Update pre-commit hook crate-ci/typos to v1.36.3 (#226) ([@renovate[bot]](https://github.com/[renovate[bot]](https://github.com/apps/renovate)))
• ⬆️🪝 Update pre-commit hook astral-sh/ruff-pre-commit to v0.13.2 (#225) ([@renovate[bot]](https://github.com/[renovate[bot]](https://github.com/apps/renovate)))
• 🍎 Restore support for x86 macOS systems (#224) (@denialhaag)
• ⬆️🔒️ Lock file maintenance (#223) ([@renovate[bot]](https://github.com/[renovate[bot]](https://github.com/apps/renovate)))
• ⬆️🪝 Update pre-commit hook pre-commit/mirrors-mypy to v1.18.2 (#221) ([@renovate[bot]](https://github.com/[renovate[bot]](https://github.com/apps/renovate)))
• ⬆️🪝 Update pre-commit hook pre-commit/mirrors-clang-format to v21.1.1 (#220) ([@renovate[bot]](https://github.com/[renovate[bot]](https://github.com/apps/renovate)))
• ⬆️🪝 Update pre-commit hook astral-sh/ruff-pre-commit to v0.13.1 (#219) ([@renovate[bot]](https://github.com/[renovate[bot]](https://github.com/apps/renovate)))
• ⬆️🔒️ Lock file maintenance (#218) ([@renovate[bot]](https://github.com/[renovate[bot]](https://github.com/apps/renovate)))
• ⬆️🪝 Update pre-commit hook pre-commit/mirrors-mypy to v1.18.1 (#217) ([@renovate[bot]](https://github.com/[renovate[bot]](https://github.com/apps/renovate)))
• ⬆️👨‍💻 Update actions/create-github-app-token action to v2.1.4 (#216) ([@renovate[bot]](https://github.com/[renovate[bot]](https://github.com/apps/renovate)))
• 👷 Fix version of pypa/gh-action-pypi-publish Action (#215) (@denialhaag)
• 👷 Update workflows and pre-commit config (#214) (@denialhaag)
• ⬆️🪝 Update pre-commit hook astral-sh/ruff-pre-commit to v0.13.0 (#213) ([@renovate[bot]](https://github.com/[renovate[bot]](https://github.com/apps/renovate)))
• ⬆️🪝 Update pre-commit hook emzeat/mz-lictools to v2.8.0 (#203) ([@renovate[bot]](https://github.com/[renovate[bot]](https://github.com/apps/renovate)))
• ⬆️🪝 Update pre-commit hook astral-sh/ruff-pre-commit to v0.12.12 (#201) ([@renovate[bot]](https://github.com/[renovate[bot]](https://github.com/apps/renovate)))
• ⬆️🪝 Update pre-commit hook crate-ci/typos to v1.36.2 (#202) ([@renovate[bot]](https://github.com/[renovate[bot]](https://github.com/apps/renovate)))
• ⬆️🔒️ Lock file maintenance (#211) ([@renovate[bot]](https://github.com/[renovate[bot]](https://github.com/apps/renovate)))
• ⬆️🪝 Update pre-commit hook rbubley/mirrors-prettier to v3.6.2 (#205) ([@renovate[bot]](https://github.com/[renovate[bot]](https://github.com/apps/renovate)))
• ⬆️🪝 Update pre-commit hook pre-commit/mirrors-mypy to v1.17.1 (#204) ([@renovate[bot]](https://github.com/[renovate[bot]](https://github.com/apps/renovate)))
• ⬆️🪝 Update pre-commit hook adamchainz/blacken-docs to v1.20.0 (#200) ([@renovate[bot]](https://github.com/[renovate[bot]](https://github.com/apps/renovate)))
• ⬆️👨‍💻 Update actions/download-artifact action to v5 ([#208](https://github.com/munich-quantum-toolkit/qusa...

MQT QuSAT 1.3.0 Release

👀 What Changed

• ⬆️ Update munich-quantum-toolkit/core @github-actions[bot] (#176)

🚀 Features and Enhancements

• Output DIMACS CNF representation of given circuit. @Geremia (#174)

📄 Documentation

• 🚚 Prepare repository for organization move @burgholzer (#178)

⬆️ Dependencies

• Bump munich-quantum-toolkit/workflows from 1.8 to 1.9 @dependabot[bot] (#177)
• ⬆️ Update workflows and other dependencies @burgholzer (#175)

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

MQT QuSAT 1.2.0 Release

👀 What Changed

The packaging structure and configuration were updated to the latest best practices.

🚀 Features and Enhancements

• ⬆️ Update project to the latest MQT best practices @burgholzer (#170)

⬆️ Dependencies

• ⬆️ Update project to the latest MQT best practices @burgholzer (#170)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci[bot] (#165)
• Bump cda-tum/mqt-workflows from 1.1.4 to 1.1.5 @dependabot[bot] (#162)

Full Changelog: v1.1.2...v1.2.0

MQT QuSAT 1.1.2 Release

👀 What Changed

The packaging structure and configuration was updated to the latest best practices.

🚀 Features and Enhancements

• ♻️ Library update @burgholzer (#161)
• MQT branding @lucasberent (#159)

⬆️ Dependencies

• ♻️ Library update @burgholzer (#161)
• Bump release-drafter/release-drafter from 5 to 6 @dependabot (#151)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#155)
• Bump cda-tum/mqt-core from 2.1.0 to 2.2.2 @dependabot (#150)

Full Changelog: v1.1.1...v1.1.2

MQT QuSAT 1.1.1 Release

👀 What Changed

• 🚧 Low maintenance mode @burgholzer (#143)

⬆️ Dependencies

24 changes

• Bump actions/download-artifact from 3 to 4 @dependabot (#146)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#148)
• Bump extern/mqt-core from d181d45 to 87f97a3 @dependabot (#147)
• Bump cda-tum/mqt-core from 2.0.2 to 2.1.0 @dependabot (#145)
• Bump extern/mqt-core from cff2742 to d181d45 @dependabot (#144)
• 🚧 Low maintenance mode @burgholzer (#143)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#142)
• Bump actions/setup-python from 4 to 5 @dependabot (#141)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#140)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#138)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#137)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#135)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#134)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#133)
• Bump pypa/cibuildwheel from 2.15 to 2.16 @dependabot (#129)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#132)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#130)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#128)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#127)
• Bump actions/checkout from 3 to 4 @dependabot (#126)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#125)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#123)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#122)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#121)

Full Changelog: v1.1.0...v1.1.1

MQT QuSAT 1.1.0 Release

👀 What Changed

This release brings two main updates to MQT QuSAT

• 🐍 Support for Python 3.12
• 🔧 Integration of the MQT Core library as the successor of the QFR library.

🚀 Features and Enhancements

• Bump extern/qfr from 89412bc to 4819bcd @dependabot (#118)

🐛 Bug Fixes

• 🐛 Fix broken sdist CI (caused by switch to Ubuntu 22.04) @burgholzer (#75)

⬆️ Dependencies

24 changes

• Bump extern/qfr from 89412bc to 4819bcd @dependabot (#118)
• Bump pypa/cibuildwheel from 2.14 to 2.15 @dependabot (#120)
• Bump pypa/cibuildwheel from 2.13.1 to 2.14.0 @dependabot (#117)
• Bump pypa/cibuildwheel from 2.13.0 to 2.13.1 @dependabot (#113)
• Bump extern/qfr from e8e2372 to 89412bc @dependabot (#110)
• Bump pypa/cibuildwheel from 2.12.3 to 2.13.0 @dependabot (#111)
• Bump codecov/codecov-action from 3.1.3 to 3.1.4 @dependabot (#108)
• Bump codecov/codecov-action from 3.1.2 to 3.1.3 @dependabot (#104)
• Bump pypa/cibuildwheel from 2.12.1 to 2.12.3 @dependabot (#103)
• Bump codecov/codecov-action from 3.1.1 to 3.1.2 @dependabot (#101)
• Bump extern/qfr from db082b6 to e8e2372 @dependabot (#99)
• Bump pypa/cibuildwheel from 2.12.0 to 2.12.1 @dependabot (#97)
• Bump extern/qfr from 90a3445 to db082b6 @dependabot (#94)
• Bump extern/qfr from 37722f2 to 90a3445 @dependabot (#90)
• Bump extern/qfr from 5ae2f78 to 37722f2 @dependabot (#88)
• Bump extern/qfr from c11670d to 5ae2f78 @dependabot (#84)
• Bump pypa/cibuildwheel from 2.11.4 to 2.12.0 @dependabot (#86)
• Bump extern/qfr from 9d0f917 to c11670d @dependabot (#81)
• Bump pypa/cibuildwheel from 2.11.3 to 2.11.4 @dependabot (#82)
• Bump extern/qfr from 5e8b8b7 to 9d0f917 @dependabot (#79)
• Bump extern/qfr from 888d44a to 5e8b8b7 @dependabot (#77)
• Bump pypa/cibuildwheel from 2.11.2 to 2.11.3 @dependabot (#74)
• Bump extern/qfr from 64a8919 to 888d44a @dependabot (#73)
• Bump extern/qfr from e5f4189 to 64a8919 @dependabot (#71)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#119)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#116)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#114)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#112)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#109)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#107)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#105)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#102)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#100)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#98)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#96)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#95)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#93)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#92)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#91)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#89)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#87)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#85)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#80)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#78)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#76)
• ⬆️🪝 update pre-commit hooks @pre-commit-ci (#72)

Full Changelog: v1.0.0...v1.1.0

v1.0.0 Release

What's Changed

• ✨ Modernize Project Architecture by @burgholzer in #70

Full Changelog: v0.1.1...v1.0.0

v0.1.1 Bugfix Release

What's Changed

• 🐛 fix bug that prevented correct versioning by @burgholzer in #22

Full Changelog: v0.1.0...v0.1.1

Initial Release

This is the initial official release of the MQT QuSAT package for utilising satisfiability techniques (SAT) in quantum computing.

What's Changed

• remove boost, some cleanups by @lucasberent in #3
• 🔥 remove boost by @burgholzer in #6
• Python bindings by @lucasberent in #5
• 👷 updating Z3 version by @burgholzer in #14
• Modernize Build by @burgholzer in #20

New Contributors

• @dependabot made their first contribution in #1
• @lucasberent made their first contribution in #3
• @burgholzer made their first contribution in #6

Full Changelog: https://github.com/cda-tum/qusat/commits/v0.1.0