Marco Lewis Benoît Valiron Finding Photonics Circuits via δ-weakening SMT. 2025 September abs/2509.11678 CoRR https://doi.org/10.48550/arXiv.2509.11678 db/journals/corr/corr2509.html#abs-2509-11678 streams/journals/corr