Swisscom deployed a multi-agent system combining an agentic workflow with a formal symbolic network model to configure data center environments