Hats and SAT Solvers

Tiles

Grid

Solver

Spectres

Controls

Help

Columns

Show grid

Draw Spectres

Scale

Length a

Length b

Chevron

Hat

Spectre

Turtle

Comet

User defined

Instructions

For On Screen Controls (mobile devices) click "Controls" in the toolbar

R to rotate selected tiles (Shift+R to rotate the other way)
A to add a new tile
Space to cycle throw the different tiles
Arrow keys to navigate the selected tiles around the grid
Delete to delete selected tiles
Click on a tile to select it (Shift+Click adds to selection)
Ctrl+A to select all tiles

You can read the blog post for further help

Once ready you can click Solve to use a SAT solver. That will find hats that fill the current area. Note that there might be issues at the borders

Hat Colors:

Anti-Hat Colors:

Turtle Colors:

Anti-Turtle Colors:

Hat

Anti Hat

Turtle

Anti turtle

+

Del

Cycle

Rotate

Left

Right

Up

Down

Select all

Click Solve to use a SAT solver to try to tile the visible area with the selected tiles

Beware that a large area with many tile types might take a long time

If you select "randomize" the order of clauses will be randomized before sending to the solver

The solver itself is not random

Randomize

Please wait