Princesa Um provador livre do teorema para a aritmética do presburger
Baixe Agora

Princesa Classificação e resumo

Princesa Tag

teorema provar Prover de Teorema Prove Teorema Presburger aritmética Prove

Princesa Descrição

Um provador de teorema livre para a aritmética do presburgo A princesa é uma prova de teorema de código aberto gratuitamente para a aritmética do presburger com predicados não interpretados. Isso significa que a princesa pode raciocinar sobre problemas na aritmética inteira sem multiplicação (apenas multiplicação com literais inteiros é permitida), aumentada com predicados que podem ser arbitrariamente axiomatizados. Tais problemas podem conter quantificadores arbitrários para expressar que alguma fórmula deve segurar para todos ou para alguns inteiros. Requisitos: · Java 1.5 ou mais tarde · Um compilador para Scala versão 2.7 ou posterior O que há de novo nesta versão: · Corrigido um par de bugs e adicionou algumas otimizações

Princesa Software Relacionado