Chair for Design Automation, TU Munich
Results
13
repositories owned by
Chair for Design Automation, TU Munich
zx
16
Stars
1
Forks
Watchers
MQT ZX - A library for working with ZX-diagrams
mqt-qusat
17
Stars
0
Forks
Watchers
MQT QuSAT - Using Satisfiability Testing (SAT) Techniques for Encoding Quantum Computing
mnt-bestagon-library
15
Stars
0
Forks
Watchers
Design, layout, and simulation files of the paper "Hexagons are the Bestagons: Design Automation for Silicon Dangling Bond Logic" by M. Walter, S. S. H. Ng, K. Walus, and R. Wille in DAC 2022.