¬ x (x ∧ y) (x ∨ y) (x → y) (x ↔ y)
Über

Entstanden als "kleine Skriptsammmlung" der Arbeitsgruppe "Theorie komplexer Systeme" am Institut für Informatik der Goethe-Universität Frankfurt am Main.

Fehlermeldungen sind willkommen (email an):

aboehm at informatik dot uni-frankfurt dot de


changelog

03. November 2008
Diverse kleine Anpassungen an DisMod.
known bugs:
none

21. Oktober 2008
Eingabehilfe, Minimierung ausgegraut da nicht Stoff in DisMod.
known bugs:
none

03. März 2008
Minimierung der DNF (Bsp. )
known bugs:
none

02. März 2008
Nach dem der AL-Checker und erste zusätzliche Funktionen fertig sind. Startet About und changelog.
Logo
DNF (aus erfüllenden Belegungen - vorerst ohne Minimierung)
known bugs:
none


Valid XHTML 1.0