Describir: Automated Configuration Problem Solving