6. The command line utility

Most people are likely to use CNFgen by command line. The command line has a powerful interface with many options and sensible defaults, so that the newcomer is not intimidated but it is still possible to generate nontrivial formula