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 https://github.com/cda-tum/qusat/pull/3
* :fire: remove boost by burgholzer in https://github.com/cda-tum/qusat/pull/6
* Python bindings by lucasberent in https://github.com/cda-tum/qusat/pull/5
* 👷 updating Z3 version by burgholzer in https://github.com/cda-tum/qusat/pull/14
* Modernize Build by burgholzer in https://github.com/cda-tum/qusat/pull/20
New Contributors
* dependabot made their first contribution in https://github.com/cda-tum/qusat/pull/1
* lucasberent made their first contribution in https://github.com/cda-tum/qusat/pull/3
* burgholzer made their first contribution in https://github.com/cda-tum/qusat/pull/6
**Full Changelog**: https://github.com/cda-tum/qusat/commits/v0.1.0