https://github.com/danvk/boggle-paper
Formal paper on 4x4 Boggle Maximization via Branch & Bound, plus code samples
https://github.com/danvk/boggle-paper
Last synced: 4 months ago
JSON representation
Formal paper on 4x4 Boggle Maximization via Branch & Bound, plus code samples
- Host: GitHub
- URL: https://github.com/danvk/boggle-paper
- Owner: danvk
- Created: 2025-06-09T15:42:34.000Z (about 1 year ago)
- Default Branch: main
- Last Pushed: 2025-07-02T19:58:42.000Z (about 1 year ago)
- Last Synced: 2026-03-01T00:25:13.585Z (5 months ago)
- Language: Typst
- Size: 2.67 MB
- Stars: 2
- Watchers: 0
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# A Computational Proof of the Highest-Scoring Boggle Board
This repo contains the source for the paper "A Computational Proof of the Highest-Scoring Boggle Board" as well as the code listings.
📝 [A Computational Proof of the Highest-Scoring Boggle Board][pdf] (PDF, 2025)
The code in this repo is slow Python that's designed to be simple and clear. For the code used in the full-scale Boggle searches, check out the [hybrid-boggle] repo, which uses Python, C++ and pybind11.
## Development
To make a PDF of the paper, install [typst] (perhaps `brew install typst`) and then run:
./make-pdf.sh
To run the tests, you'll need [uv]:
uv run pytest
[pdf]: /paper.pdf
[uv]: https://github.com/astral-sh/uv
[typst]: https://typst.app/docs
[hybrid-boggle]: https://github.com/danvk/hybrid-boggle/