Polycube SAT solver

By Joakim Bohlin

Click the cube faces to add cubes (shift-click to remove), then click to solve.

Fully adressable rule
Options


≤ Nc
≤ Nt