all linear programming is integer linear programming if you try hard enough