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

 * file name: sampleh6.ine
 * test file for forced-equality checking
 H-representation
 begin
     5   4   integer
  0  1  0  0
  0  0  1  0
  0  0  0  1
  1 -1 -1 -1
 -1  1  1  0
 end
	* file name: sampleh6.ine
	* test file for forced-equality checking
	H-representation
	begin
	5 4 integer
	0 1 0 0
	0 0 1 0
	0 0 0 1
	1 -1 -1 -1
	-1 1 1 0
	end