Add: BelongsToTopology information to the vertice of the Graph.
levindoneto opened this issue · comments
ID: 101 (2)
Now, the vertice of the graph will turn to a 3 bits width.
levindoneto / Placidus
Placidus is a formal verification and management platform for Software Defined Networks, and it has a core that verifies the following properties: conflicts, redundancies and reachability on network topologies.