Back to work
GameHub
01 / 04
Nine logic games, each with its own solver. Expectimax plays 2048, a SAT solver cracks Slitherlink and puzzles print straight to PDF.
- Type
- Desktop app
- Year
- 2026
- Technology
- Python · PySide6 · Rust · CI / testy · UI / UX
- In numbers
- 9 games
- Rust core
- Win/Linux releases
- Visit
- GitHub ↗
What is inside
- 01
Optimised by numbers
I benchmarked four generator variants on 30 seeds and kept the fastest. A 16 × 16 Sudoku is 16% faster on average and 35% faster in the worst cases.
- 02
Promises only what holds
A script audits the solver claims. When KenKen turned out not to always have a unique solution, the claim came out of the docs.
- 03
Shipped like a product
Windows and Linux releases with checksums, tests, CodeQL and automated dependency updates.