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