Extreme Polyomino Support
Interactive perfect-fit tiling puzzles and large generated polyomino mosaics, powered by a formally verified exact-cover solver core.
Support
For help, questions, or bug reports, contact:
When reporting an issue, please include the app version, device model, iOS or iPadOS version, board dimensions, piece orders, and seed if applicable.
Interactive and large-board modes
Practical boards such as 13×13 can be played interactively by selecting, rotating, placing, moving, and removing pieces.
The same engine can generate much larger mathematical and visual explorations. Fit-to-screen mosaics have been tested through 256×256 cells.
Formal verification note
Extreme Polyomino uses an exact-cover solver core formally proven using the Rocq Prover. When the solver returns a solution, the selected placements satisfy the encoded exact-cover constraints.
Exports
The app supports saved puzzle states and exports including PDF, SVG artwork, and solver/result matrices.
Privacy
The app requires no account, sign-in, advertising, tracking, or network connection for its primary functionality.