Added cddlib-094h from http://www.inf.ethz.ch/personal/fukudak/cdd_home/
Change-Id: I64519509269e434b1b9ea87c3fe0805e711c0ac9
diff --git a/third_party/cddlib/examples/project2res.ine b/third_party/cddlib/examples/project2res.ine
new file mode 100644
index 0000000..ce2b510
--- /dev/null
+++ b/third_party/cddlib/examples/project2res.ine
@@ -0,0 +1,90 @@
+H-representation
+begin
+86 4 integer
+ 9 -2 1 -1
+ 16 -3 1 -2
+ 20 -3 -1 -2
+ 12 -3 2 -1
+ 8 -3 2 1
+ 8 -2 -1 3
+ 4 -2 1 3
+ 8 -2 3 -1
+ 4 -2 3 1
+ 9 -1 -2 1
+ 11 -2 -2 2
+ 5 -1 -1 2
+ 1 -1 1 2
+ 3 -2 2 2
+ 1 -1 2 1
+ 4 0 0 -1
+ 0 0 1 0
+ 8 -1 -2 3
+ 12 -1 -3 2
+ 0 -1 2 3
+ 0 -1 3 2
+ 5 1 -2 1
+ 8 1 -3 2
+ 4 1 -2 3
+ 1 1 -1 2
+ -3 1 1 2
+ -4 1 2 3
+ -4 1 3 2
+ -3 1 2 1
+ 3 2 -2 2
+ -5 2 2 2
+ 8 2 1 -3
+ 12 2 -1 -3
+ 0 2 3 -1
+ -4 2 3 1
+ 1 2 -1 1
+ 4 3 -2 1
+ 0 3 -1 2
+ -3 2 1 1
+ -4 3 1 2
+ -4 3 2 1
+ 0 1 0 0
+ 0 3 2 -1
+ 4 3 1 -2
+ 1 2 1 -1
+ 8 3 -1 -2
+ 8 3 -2 -1
+ 5 2 -1 -1
+ 0 2 -1 3
+ -4 2 1 3
+ 8 2 -3 1
+ 12 2 -3 -1
+ 3 2 2 -2
+ 11 2 -2 -2
+ 1 1 2 -1
+ 4 1 3 -2
+ 8 1 2 -3
+ 5 1 1 -2
+ 9 1 -1 -2
+ 16 1 -2 -3
+ 16 1 -3 -2
+ 9 1 -2 -1
+ 12 -1 2 -3
+ 8 -1 3 -2
+ 20 -1 -2 -3
+ 20 -1 -3 -2
+ 0 0 0 1
+ 4 0 -1 0
+ 5 -1 2 -1
+ 11 -2 2 -2
+ 9 -1 1 -2
+ 13 -1 -1 -2
+ 19 -2 -2 -2
+ 13 -1 -2 -1
+ 16 -2 1 -3
+ 20 -2 -1 -3
+ 16 -2 -3 1
+ 20 -2 -3 -1
+ 12 -3 -1 2
+ 8 -3 1 2
+ 5 -2 1 1
+ 16 -3 -2 1
+ 20 -3 -2 -1
+ 9 -2 -1 1
+ 13 -2 -1 -1
+ 4 -1 0 0
+end