Skip to content

Release 1.8.2: Additional Architectures

Compare
Choose a tag to compare
@burgholzer burgholzer released this 07 Jun 09:39
· 1118 commits to main since this release
09a9e51

What's Changed

Dependency Updates

New Contributors

Full Changelog: v1.8.1...v1.8.2

MaxSAT Evaluation 2022

Additionally, benchmarks submitted to the 2022 MaxSAT Evaluation can be found in the zip file attached to this release. The WCNF instances were generated using the exact mapper of QMAP using benchmark circuits from MQT Bench.