Apresentamos um sistema e um modelo de programação inteira para o problema da atribuição de salas com demandas e horários fixos de uma universidade. Resolvemos instâncias reais utilizando uma versão acadêmica de uma ferramenta de otimização. Os resultados obtidos são analisados e podem auxiliar funcionários da universidade em tomadas de decisões.