Livros — automated reasoning