Draw (color in) custom polyominos below or add standard tetrominos

Click to add standard tetrominos:


Polyominos to be fit (click to remove)


Draw (color in) the region to fit the polyominos into

Size up Size down

Algorithm X (Dancing Links)

Reduces to an exact cover problem. Only finds exact solutions, but usually gives the best performance when an exact solution exists.

SAT (JavaScript)

Reduces to SAT. Will find partial (inexact) solutions, and is nondeterministic. Uses a JavaScript SAT solver, and usually gives the best performance for small or easy problems.

SAT (Z3)

Reduces to SAT. Will find partial (inexact) solutions, and is deterministic. Solves SAT via a Webassembly build of the Z3 Theorem Prover, and gives better performance for larger problems.


Solve