third_party/cddlib/examples/redcheck.ext - RealtimeRoboticsGroup/test - Gitiles

 V-representation
 begin
   7  3  integer
  1 0 0
  1 2 0
  1 0 2
  1 1 1
  1 2 1
  1 1 2
  1 2 2
 end
	V-representation
	begin
	7 3 integer
	1 0 0
	1 2 0
	1 0 2
	1 1 1
	1 2 1
	1 1 2
	1 2 2
	end