Added cddlib-094h from http://www.inf.ethz.ch/personal/fukudak/cdd_home/
Change-Id: I64519509269e434b1b9ea87c3fe0805e711c0ac9
diff --git a/third_party/cddlib/examples/project1.ine b/third_party/cddlib/examples/project1.ine
new file mode 100644
index 0000000..18f265f
--- /dev/null
+++ b/third_party/cddlib/examples/project1.ine
@@ -0,0 +1,28 @@
+* 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