Added cddlib-094h from http://www.inf.ethz.ch/personal/fukudak/cdd_home/
Change-Id: I64519509269e434b1b9ea87c3fe0805e711c0ac9
diff --git a/third_party/cddlib/examples-ext/reg24-5.ext b/third_party/cddlib/examples-ext/reg24-5.ext
new file mode 100644
index 0000000..83d2211
--- /dev/null
+++ b/third_party/cddlib/examples-ext/reg24-5.ext
@@ -0,0 +1,31 @@
+* The vertices of a self-dual 4-dim regular polytope
+* with 24 octahedron facets.
+* We use hull option to compute all (24) facet inequalities.
+V-representation
+begin
+ 24 5 integer
+ 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 -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 -1 -1
+ 1 -1 -1 1 1
+ 1 -1 -1 1 -1
+ 1 -1 -1 -1 1
+ 1 -1 -1 -1 -1
+ 1 2 0 0 0
+ 1 0 2 0 0
+ 1 0 0 2 0
+ 1 0 0 0 2
+ 1 -2 0 0 0
+ 1 0 -2 0 0
+ 1 0 0 -2 0
+ 1 0 0 0 -2
+end