principessa Un Prover teorema gratuito per la Presburger Aritmetica
Scarica ora

principessa Classifica e riepilogo

principessa Tag

teorema dimostrare teorema Prover. Dimostra il teorema Aritmetica di Presburger. Prover.

principessa Descrizione

Un prover del teorema gratuito per la Presburger Aritmetica La principessa è un prover teorem gratuito e open source per l'aritmetica di Presburger con predicati non interpretati. Ciò significa che la principessa può essere motivo di problemi nei problemi nell'aritmetica intera senza moltiplicazione (è consentita solo la moltiplicazione con i letterali Integer), aumentata con predicati che possono essere assiomatizzati arbitrariamente. Tali problemi possono contenere quantificatori arbitrari per esprimere che alcune formula dovrebbero contenere per tutti o per alcuni numeri interi. Requisiti: · Java 1.5 o successivi · Un compilatore per Scala versione 2.7 o successiva Cosa c'è di nuovo in questa versione: · Risolto un paio di bug e ha aggiunto alcune ottimizzazioni

principessa Software correlato