Computer Network Verification and Management using Constraint Solvers