CNF generator in DIMACS format. It produces common families of CNFs.