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

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