We address these problems with Snowcap, the first network
reconfiguration framework which can synthesize configuration
updates that comply with arbitrary hard and soft specifications,
and involve arbitrary routing protocols.