Added cddlib-094h from http://www.inf.ethz.ch/personal/fukudak/cdd_home/
Change-Id: I64519509269e434b1b9ea87c3fe0805e711c0ac9
diff --git a/third_party/cddlib/examples-ext/cyclic12-6.ext b/third_party/cddlib/examples-ext/cyclic12-6.ext
new file mode 100644
index 0000000..4dfa2f6
--- /dev/null
+++ b/third_party/cddlib/examples-ext/cyclic12-6.ext
@@ -0,0 +1,18 @@
+* 5-dim cyclic polytope with12 vertices
+* Number of facets (outputs) =72
+V-representation
+begin
+12 6 integer
+ 1 1 1 1 1 1
+ 1 2 4 8 16 32
+ 1 3 9 27 81 243
+ 1 4 16 64 256 1024
+ 1 5 25 125 625 3125
+ 1 6 36 216 1296 7776
+ 1 7 49 343 2401 16807
+ 1 8 64 512 4096 32768
+ 1 9 81 729 6561 59049
+ 1 10 100 1000 10000 100000
+ 1 11 121 1331 14641 161051
+ 1 12 144 1728 20736 248832
+end