chiark / gitweb /
add Makefile dep
-rw-r--r-- 54 .gitignore
-rw-r--r-- 481 Makefile
-rw-r--r-- 4429 Parse.pm
-rw-r--r-- 143 TODO
-rwxr-xr-x 637 generate-board
-rwxr-xr-x 780 generate-plag
-rw-r--r-- 2752 input-graph
-rwxr-xr-x 414 maybe-rerun-optim