Created policy generator that only spans some hosts, avoids some links and uses spanning tree, and added spanning tree test
Merge pull request #189 from mpmilano/master

Merge Verify work back into tree
Merge pull request #187 from frenetic-lang/policygen

Added new policy
merge from main