https://www.cda.cit.tum.de
Germany The CDA provides expertise for all main steps in the design and realization of integrated circuits, embedded systems, as well as cyber-physical systems.
Chair for Design Automation, TU Munich
MQT ZX - A library for working with ZX-diagrams
cda-tum
MQT QuSAT - Using Satisfiability Testing (SAT) Techniques for Encoding Quantum Computing