Zpět na práci
GameHub
01 / 04
Devět logických her a ke každé vlastní solver. 2048 hraje expectimax, Slitherlink řeší SAT solver a hádanky se dají vytisknout do PDF.
- Typ
- Desktopová aplikace
- Rok
- 2026
- Technologie
- Python · PySide6 · Rust · CI / testy · UI / UX
- V číslech
- 9 her
- jádro v Rustu
- releasy Win/Linux
- Podívat se
- GitHub ↗
Co v tom je
- 01
Optimalizace podle čísel
Čtyři varianty generátoru jsem změřil na 30 zadáních a nechal nejrychlejší. Sudoku 16 × 16 vzniká o 16 % rychleji, v nejhorších případech o 35 %.
- 02
Slibuje jen to, co platí
Tvrzení o solverech kontroluje skript. Když se ukázalo, že KenKen nemá vždy jediné řešení, slib z dokumentace zmizel.
- 03
Vydané jako produkt
Releasy pro Windows i Linux s kontrolními součty, testy, CodeQL a automatickými aktualizacemi závislostí.