Libros — automated reasoning