chiark / gitweb /
Python code to compute upper bounds on the solution.