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

 * file name: sampleh5.ine
 * test file for redundancy removal
 H-representation
 linearity 1 3
 begin
     10   4   integer
  0  1  0  0
  0  0  1  0
  0  0  0  1
  0  2  0  0
  0  0  0  3
  1 -1 -1 -1
  1 -1 -1  0
  1  0 -1 -1
  1 -1  0 -1
  2 -1 -1 -1
 end
 maximize
  0  1  1  1
	* file name: sampleh5.ine
	* test file for redundancy removal
	H-representation
	linearity 1 3
	begin
	10 4 integer
	0 1 0 0
	0 0 1 0
	0 0 0 1
	0 2 0 0
	0 0 0 3
	1 -1 -1 -1
	1 -1 -1 0
	1 0 -1 -1
	1 -1 0 -1
	2 -1 -1 -1
	end
	maximize
	0 1 1 1