Non-isomorphic CNF Generation