Print all CNF formulas

Question

Given the number of variables n and the number of clauses m, write a program that outputs all CNF formulas that contain at most n variables and at most m clauses.

Answer 1

如果数据量不大，那么两重循环穷举下就是了。