Comments are moderated. It may take a few minutes before your comment appears.
Markdown is supported in your comments.

Often at this stage you can look at the resulting CNF and notice a pattern. It should be pretty obvious what an N-wide XOR generator should do. Though often the pattern will be obscured by redundancies. More about removing redundancies on the SAT simplification page.

Mail: (not shown)

Please type this: