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 sat.py 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.