Added cddlib-094h from http://www.inf.ethz.ch/personal/fukudak/cdd_home/
Change-Id: I64519509269e434b1b9ea87c3fe0805e711c0ac9
diff --git a/third_party/cddlib/examples-ext/irbox20-4.ext b/third_party/cddlib/examples-ext/irbox20-4.ext
new file mode 100644
index 0000000..501bb5c
--- /dev/null
+++ b/third_party/cddlib/examples-ext/irbox20-4.ext
@@ -0,0 +1,26 @@
+* File name: irbox20-4.ext
+* Randomly generated 20 integral points in [-100..100]^3
+V-representation
+begin
+ 20 4 integer
+ 1 -45 1 47
+ 1 -34 19 4
+ 1 5 -11 28
+ 1 17 -43 17
+ 1 -46 8 -15
+ 1 35 -26 -6
+ 1 41 -3 -8
+ 1 -39 41 34
+ 1 -46 49 40
+ 1 -18 -29 46
+ 1 -20 -25 -2
+ 1 -22 -9 -32
+ 1 31 46 5
+ 1 10 14 11
+ 1 -22 17 -29
+ 1 12 3 -5
+ 1 -44 -5 40
+ 1 -2 4 32
+ 1 -18 8 31
+ 1 -27 40 -48
+end