chiark / gitweb /
fudge the {n,m}_max_frags to deal with rounding errors in glpk results
-rw-r--r-- 49 .gitignore
-rw-r--r-- 206 Makefile
-rw-r--r-- 19810 main.c