Propane is a new language for configuring the network. It lets you write a single, high-level routing policy for your network. The Propane compiler can then generate a collection of legacy vendor configurations that are guaranteed to implement the policy correctly. The language and compiler provide the following features and guarantees:

Language and Compiler Guarantees