ports/math/logic2cnf/pkg
