chiark / gitweb /
The command-line solver's difficulty gradings now use the same