Describir: Applied integer programming