SAT


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

Now we can use f(x, y) where x and y are between 0 and 3 inclusive. 1-indexing is okay too, but you'll have to be consistent throughout the puzzle. True/false represents whether a rook is in the square. Here is a page just about auto_term if you'd like to read more.

Name:
Mail: (not shown)

Please type this: