Package cnf

Class Summary

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