Mqt.syrec

Latest version: v1.2.0

Safety actively analyzes 706267 Python packages for vulnerabilities to keep your Python projects secure.

Scan your dependencies

Page 2 of 2

0.2.0

What's Changed

* ✨ Foundation for Synthesis Methods by SmaranTum in https://github.com/cda-tum/syrec/pull/45
* ✨ Add SyReC synthesis with Additional Lines by SmaranTum in https://github.com/cda-tum/syrec/pull/65
* ✨ Add pre-commit configuration by burgholzer in https://github.com/cda-tum/syrec/pull/70

**Full Changelog**: https://github.com/cda-tum/syrec/compare/v0.1.0...v0.2.0

0.1.0

This marks the initial release of the MQT SyReC package. At the moment this is considered an alpha release and is still in active development. The interfaces and library structure are not yet considered stable. However, the initial feature set is complete and functional.

Page 2 of 2

© 2025 Safety CLI Cybersecurity Inc. All Rights Reserved.