This project is a prototype implementation of the paper Snowcap: Synthesizing Network-Wide Configuration Updates by Tibor Schneider, Rüdiger Birkner and Laurent Vanbever (Link will be created once the ...