Aktuelles zur Version pw2.1b

Hier die Informationen zum Release der Version 2.1b.

Neuigkeiten sind: pw2.1b ist ein Schritt von version 1.x zu 2.x, da wichtige Teile des upgrades zur 2ten Berechnungsstufe 2BR implementiert wurden,eingefuehrten upgrade-Prozedur in die 2te Berechnungsstufe (Aussagenlogischer Konsistentzcheck). Andererseits enthaellt sie schon eine Testversion zur aussagenlogischen Konsistenzberechung von Atomsaetzen (TS). Die Berechnung ist per ini frei konfigurierbar, zB. was die Wertigkeit der Logik oder verwendete logische Operatoren betrifft, hat aber Beschraenkungen (mehr die Liesmich-Datei).

Die wichtigesten Aenderungen seit pw2.0b:
- der update Schritt zu 2BR ist fertig, aber ohne Automatisierung und Checks
- der pw source code fuer die 1BR ist aufgeraeumt und verfuegbar - siehe auch das Projekt fuer den pw Server auf der neuen Seite...

Zurueck zur Hauptseite