README

   1 This git repository contains a collection of resources relating to a
   2 combinatorial problem described in the web page template file
   3 'template.html'.
   4
   5 On a Linux system with the right libraries installed (e.g. install
   6 packages 'publib-dev' and 'libglpk-dev' on Ubuntu), running 'make'
   7 will build a linear-programming based exhaustive search program which
   8 you can run by typing (for example) './main 3 2'.
   9
  10 An ILP-based and less rigorous search program (though faster for large
  11 m) is in 'partition.py', and expects the 'lp_solve' program on your
  12 path (install package 'lp-solve' on Ubuntu).
  13
  14 The 'data' subdirectory contains all output we have so far collected
  15 from both of those programs, and 'tabulate.py' generates the full web
  16 page from template.html and that data.
  17
  18 bounds.py is a Python library module which finds the best upper bound
  19 we can prove.