Program-Synthesis-Driven Autodesign of Universal Unitary Operators | Digital Library | PAMCET | PAMCET