Package cnf

Class Summary

Class	Description
CNF	Methoden zur Konstruktion von aussagenlogischen Formeln sowie zum Aufruf eines SAT-Solvers.
Formula	Repraesentation aussagenlogischer Formeln.
VarName	Repraesentation von Variablen fuer aussagenlogische Formeln.