Libros — integer programming