Implementing and Testing a Formal Framework for Constraint-Based Routing over Scale-free Networks ∗