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