ports/math/logic2cnf
