Kepler Kepler is the schedule generator for UMinho's Informatics Engineering course, based on integer programming.