chiark / gitweb /
Python code to compute upper bounds on the solution.
-rw-r--r-- 55 .gitignore
-rw-r--r-- 257 Makefile
-rw-r--r-- 4972 bounds.py
-rw-r--r-- 20512 main.c
-rwxr-xr-x 3818 print.py
-rwxr-xr-x 1156 test.pl