third_party/cddlib/examples-ine/cube10.ine

H-representation
begin
 20 11 integer
  1  0  0  0  0  0  0  0  0  0  1
  1  1  0  0  0  0  0  0  0  0  0
  1  0  1  0  0  0  0  0  0  0  0
  1  0  0  1  0  0  0  0  0  0  0
  1  0  0  0  1  0  0  0  0  0  0
  1  0  0  0  0  1  0  0  0  0  0
  1  0  0  0  0  0  1  0  0  0  0
  1  0  0  0  0  0  0  1  0  0  0
  1  0  0  0  0  0  0  0  1  0  0
  1  0  0  0  0  0  0  0  0  1  0
  1  0  0  0  0  0  0  0  0  0 -1
  1  0  0  0  0  0  0  0  0 -1  0
  1  0  0  0  0  0  0  0 -1  0  0
  1  0  0  0  0  0  0 -1  0  0  0
  1  0  0  0  0  0 -1  0  0  0  0
  1  0  0  0  0 -1  0  0  0  0  0
  1  0  0  0 -1  0  0  0  0  0  0
  1  0  0 -1  0  0  0  0  0  0  0
  1  0 -1  0  0  0  0  0  0  0  0
 -2 -1  0  0  0  0  0  0  0  0  0
end
minimize
 -2 -1  0  0  0  0  0  0  0  0  0