Reproducibility Package for SYPER: Synthesis of Perfectly Resilient Local Fast Re-Routing Rules for Highly Dependable Networks

This is a reproducibility package for the paper SYPER: Synthesis of Perfectly Resilient Local Fast Re-Routing Rules for Highly Dependable Networks to be published at INFOCOM'24.本资源为即将发表于INFOCOM'24的论文《SYPER：面向高可靠网络的完美弹性本地快速重路由规则合成》的可复现性包。