Package de.svws_nrw.core.adt.sat
package de.svws_nrw.core.adt.sat
-
KlassenKlasseBeschreibungDiese Klasse definiert eine aussagenlogische Formel in konjunktiver Normalform (CNF)....Ein simpler SAT-Solver, der via Backtracking eine Lösung sucht.Ein simpler SAT-Solver, der via Backtracking eine Lösung sucht.Dieser Wrapper permutiert die Nummern der Variablen vor dem Lösen, anschließend wird die Lösung zurückpermutiert.