Introducing Automated Reasoning in Network Management