ScheduleMiner: A web application for choosing classes at Colorado School of Mines.