Add random cnf generator