Prinzessin

Ein kostenloser Satzungsplan für Presurger Arithmetik
Jetzt downloaden

Prinzessin Ranking & Zusammenfassung

Anzeige

  • Rating:
  • Lizenz:
  • GPL
  • Preis:
  • FREE
  • Name des Herausgebers:
  • Philipp Rummer
  • Website des Verlags:
  • http://www.philipp.ruemmer.org/
  • Betriebssysteme:
  • Mac OS X
  • Dateigröße:
  • 308 KB

Prinzessin Stichworte


Prinzessin Beschreibung

Ein kostenloser theoremover für presurger arithmetik Princess ist ein freier und offener Source-Theorem-Besprecher für die Preburger-Arithmetik mit nicht interpretierten Prädikaten. Dies bedeutet, dass Prinzessin ohne Multiplikation auf Probleme in der Ganzzahl arithmetisch ausgeht (nur Multiplikation mit ganzzahligen Literalen zulässig ist), die mit Prädikaten erweitert werden, die beliebig axiomatisiert werden können. Solche Probleme können beliebige Quantifizierer enthalten, um auszudrücken, dass einige Formel für alle oder für einige Ganzzahlen halten soll. Anforderungen: · Java 1.5 oder höher · Ein Compiler für Scala-Version 2.7 oder höher Was ist neu in dieser Version: · Ein paar Fehler behoben und einige Optimierungen hinzugefügt


Prinzessin Zugehörige Software

Über uns