R1: A Rule-Based Configurer of Computer Systems