third_party/cddlib/examples/project1.ine

* Try to project on (x1, x2, x3) by eliminating the last
* three variables using cddlib "fourier" or "projection" programs.
* The correct result is project1res.ine.  
H-representation
begin
20  7  integer
  1  0  0  0  1  0  0
  1  0  0  0  0  1  0
  1  0  0  0  0  0  1
  1  0  0  0  -1  0  0
  1  0  0  0  0  -1  0
  1  0  0  0  0  0  -1
  1  1  0  0  -1  0  0
  1  0  1  0  0  -1  0
  1  0  0  1  0  0  -1
  1  -1  0  0  1  0  0
  1  0  -1  0  0  1  0
  1  0  0  -1  0  0  1
  2  1  1  1  -1  -1  -1
  2  -1  1  1  1  -1  -1
  2  1  -1  1  -1  1  -1
  2  1  1  -1  -1  -1  1
  2  -1  -1  1  1  1  -1
  2  1  -1  -1  -1  1  1
  2  -1  1  -1  1  -1  1
  2  -1  -1  -1  1  1  1
end
project 3 1 2 3