Prinses Een gratis theorem-proeit voor voorstellingsrekenkunde
Download nu

Prinses Rangschikking & Samenvatting

Prinses Tags

stelling bewijzen Theorem Prover Bewijs Theorem Presburger rekenkundige bewijs

Prinses Beschrijving

Een gratis Theorem-wedder voor Presburger Rekenkunde Princess is een gratis en open source Theorem Prover voor Presburger Rekenkunde met niet-geïnterpreteerde predikaten. Dit betekent dat prinses een reden kan geven aan problemen in gehele rekenkunde zonder vermenigvuldiging (alleen vermenigvuldiging met integerliteraten is toegestaan), augmented met predikaten die willekeurig kunnen worden geassiomatiseerd. Dergelijke problemen kunnen willekeurige kwantiformiërs bevatten om uit te drukken dat een formule bedoeld is om voor alle of andere gehele getallen te houden. Vereisten: · Java 1.5 of later · Een compiler voor Scala-versie 2.7 of later Wat is er nieuw in deze release: · Een paar bugs opgelost en een aantal optimalisaties toegevoegd

Prinses Gerelateerde software