chiark / gitweb /
wip, builds, before glpk
-rw-r--r-- 3 .gitignore
-rw-r--r-- 89 Makefile
-rw-r--r-- 1270 main.c