Problem: Network operators must tune routing protocols to provide good performace in the face of changing conditions.

Today: Tweak configuration and pray.

Our Solution: Compute how a configuration change will affect traffic flow before deployment.