chiark / gitweb /
Use known bound data to refine the search space.
-rw-r--r-- 55 .gitignore
-rw-r--r-- 257 Makefile
-rw-r--r-- 5385 bounds.py
-rw-r--r-- 20512 main.c
-rwxr-xr-x 5983 partition.py
-rwxr-xr-x 4251 print.py
-rwxr-xr-x 1156 test.pl