Added cddlib-094h from http://www.inf.ethz.ch/personal/fukudak/cdd_home/
Change-Id: I64519509269e434b1b9ea87c3fe0805e711c0ac9
diff --git a/third_party/cddlib/examples/project2.ine b/third_party/cddlib/examples/project2.ine
new file mode 100644
index 0000000..d7c5074
--- /dev/null
+++ b/third_party/cddlib/examples/project2.ine
@@ -0,0 +1,73 @@
+* Projection example: project2.ine
+* Project on the 3-space (x1, x2, x3) by eliminating the last
+* three variables (x4,x5,x6). The result is project2res.ine .
+* This appears to be a very hard example to compute by
+* the straighforward Fourier or Block elimination because they
+* generate so many redundant inequalities.
+H-representation
+begin
+62 7 integer
+ 7 0 0 0 -3 1 -2
+ 9 0 0 0 -2 -1 -3
+ 7 0 0 0 -2 1 -3
+ 9 0 0 0 -3 -1 -2
+ 3 0 0 0 -2 3 -1
+ 1 0 0 0 -2 3 1
+ 5 0 0 0 -3 2 -1
+ 3 0 0 0 -3 2 1
+ 3 0 0 0 1 -3 2
+ 1 0 0 0 1 -2 3
+ 5 0 0 0 -1 -3 2
+ 3 0 0 0 -1 -2 3
+ -3 0 0 0 1 2 3
+ -3 0 0 0 1 3 2
+ -1 0 0 0 -1 2 3
+ -1 0 0 0 -1 3 2
+ 1 0 0 0 3 1 -2
+ 5 0 0 0 2 -1 -3
+ 3 0 0 0 3 -1 -2
+ 3 0 0 0 2 1 -3
+ -1 0 0 0 2 3 -1
+ -1 0 0 0 3 2 -1
+ -3 0 0 0 2 3 1
+ -3 0 0 0 3 2 1
+ -3 0 0 0 2 1 3
+ -1 0 0 0 3 -1 2
+ -1 0 0 0 2 -1 3
+ -3 0 0 0 3 1 2
+ 3 0 0 0 2 -3 1
+ 5 0 0 0 2 -3 -1
+ 1 0 0 0 3 -2 1
+ 3 0 0 0 3 -2 -1
+ 3 0 0 0 -1 3 -2
+ 5 0 0 0 -1 2 -3
+ 1 0 0 0 1 3 -2
+ 3 0 0 0 1 2 -3
+ 9 0 0 0 -1 -2 -3
+ 9 0 0 0 -1 -3 -2
+ 7 0 0 0 1 -2 -3
+ 7 0 0 0 1 -3 -2
+ 5 0 0 0 -3 -1 2
+ 1 0 0 0 -2 1 3
+ 3 0 0 0 -2 -1 3
+ 3 0 0 0 -3 1 2
+ 7 0 0 0 -2 -3 1
+ 9 0 0 0 -2 -3 -1
+ 7 0 0 0 -3 -2 1
+ 9 0 0 0 -3 -2 -1
+ 0 1 0 0 -1 0 0
+ 0 0 1 0 0 -1 0
+ 0 0 0 1 0 0 -1
+ 2 -1 0 0 1 0 0
+ 2 0 -1 0 0 1 0
+ 2 0 0 -1 0 0 1
+ -1 1 1 1 -1 -1 -1
+ 1 -1 1 1 1 -1 -1
+ 1 1 -1 1 -1 1 -1
+ 1 1 1 -1 -1 -1 1
+ 3 -1 -1 1 1 1 -1
+ 3 1 -1 -1 -1 1 1
+ 3 -1 1 -1 1 -1 1
+ 5 -1 -1 -1 1 1 1
+end
+project 3 1 2 3