Libros — discrete optimization