[Haskell-cafe] (integer) linear programming