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

 * File name: sampleh4.ine
 * trivial inequalities: the polyhedron is the whole space.
 H-representation
 begin
     6   4    integer
  0  0  0  0
  0  0  0  0
  0  0  0  0
  0  0  0  0
  0  0  0  0
  0  0  0  0
 end
 maximize
  0  1  1  1
	* File name: sampleh4.ine
	* trivial inequalities: the polyhedron is the whole space.
	H-representation
	begin
	6 4 integer
	0 0 0 0
	0 0 0 0
	0 0 0 0
	0 0 0 0
	0 0 0 0
	0 0 0 0
	end
	maximize
	0 1 1 1