Primary goal
Maintain one restored AbTweak environment that can reproduce the documented planning capabilities, historical controls, and benchmark behavior described in the thesis, papers, and shipped code.
Masters of Mathematics Renovation
A living restoration of Steven Woods' Masters of Mathematics AbTweak research code, rebuilt around a modern SBCL baseline while preserving the thesis, paper, and historical benchmark story as faithfully as possible.
Current state
What is already solid
The unified SBCL baseline is stable, the release and experiment harnesses are in place, and broad operator-style domains including blocks, Nilsson blocks, robot, registers, database, biology, fly, and stylistics are reproducible.
Why the project matters
The repository now serves as both a working restoration and a public research log, with exact historical alignment on hanoi-2 and hanoi-3 and a carefully documented path toward understanding the remaining hanoi-4 benchmark gap.
Remote experiments
Curated experiments can now be triggered remotely through GitHub Actions, using the same safe harness vocabulary as the local shell runner.
Original thesis
The full 1991 Masters of Mathematics thesis is now linked directly from this page in both PDF and PostScript form so the primary historical source is always close at hand.