Package at.jku.fmv.qbf.pcnf

Interface Summary

Interface	Description
CNFEncoder	A conjunctive normal form encoder.

Class Summary

Class	Description
PG86	An optimized variant of Tseitin transformation [PG86].