Quantum hardware is prone to errors and quantum error correction is a fundamental technique in quantum computing. We present an automated method to synthesize ...