Livres — automated reasoning