chiark / gitweb /
In-game user interface to the solver.