GitHub repository: Corey01327/snowcap
Description: Synthesizing Network-Wide Configuration Updates