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

Though this example is essential enough to already be in the library, and can be generated with window([A, B], 1, 1). Let's try something a little larger: express A xor B = C. Now there are three variables and 8 total states.

Mail: (not shown)

Please type this: