Simplify printing the solution

4-Verification/verification.py

@@ -13,7 +13,7 @@ Description:
 from z3 import *
 
 from route_map import RouteMap, RmItem
-from network import Network, Solution, SessionType
+from network import Network, SessionType
 from routing_semantics import RoutingEquations, EnvironmentConstraints, TransformedRoute
 
 net = Network()
@@ -72,7 +72,6 @@ s.add(EnvironmentConstraints(net))
 
 if s.check() == sat:
     print("Specification is violated!")
-    sol = Solution(s)
-    print(net.fmt(sol))
+    net.pprint(s)
 else:
     print("Specification is satisfied!")