third_party/cddlib/examples/samplelp1.ine - RealtimeRoboticsGroup/test - Gitiles

 * file name: samplelp1.ine
 * LP
 H-representation
 begin
     6    4    integer
  1  1  0  0
  1  0  1  0
  1  0  0  1
  1 -1  0  0
  1  0 -1  0
  1  0  0 -1
 end
 maximize
  0  1  1  1
	* file name: samplelp1.ine
	* LP
	H-representation
	begin
	6 4 integer
	1 1 0 0
	1 0 1 0
	1 0 0 1
	1 -1 0 0
	1 0 -1 0
	1 0 0 -1
	end
	maximize
	0 1 1 1