Added cddlib-094h from http://www.inf.ethz.ch/personal/fukudak/cdd_home/
Change-Id: I64519509269e434b1b9ea87c3fe0805e711c0ac9
diff --git a/third_party/cddlib/examples-ine3d/icododeca.ine b/third_party/cddlib/examples-ine3d/icododeca.ine
new file mode 100644
index 0000000..f51f5f8
--- /dev/null
+++ b/third_party/cddlib/examples-ine3d/icododeca.ine
@@ -0,0 +1,40 @@
+Icosidodecahedron
+% rational numbers appearing here are
+% -3-5^(1/2), -1-5^(1/2) and their negatives.
+H-representation
+begin
+ 32 4 real
+ 1 -2. -5.2360679775 0.
+ 1 0. -2. -5.2360679775
+ 1 0. -5.2360679775 -3.2360679775
+ 1 0. -5.2360679775 3.2360679775
+ 1 0. -2. 5.2360679775
+ 1 2. -5.2360679775 0.
+ 1 -5.2360679775 0. -2.
+ 1 -5.2360679775 -3.2360679775 0.
+ 1 -5.2360679775 3.2360679775 0.
+ 1 -5.2360679775 0. 2.
+ 1 -3.2360679775 0. -5.2360679775
+ 1 -3.2360679775 -3.2360679775 -3.2360679775
+ 1 -3.2360679775 3.2360679775 -3.2360679775
+ 1 -3.2360679775 -3.2360679775 3.2360679775
+ 1 -3.2360679775 3.2360679775 3.2360679775
+ 1 -3.2360679775 0. 5.2360679775
+ 1 3.2360679775 0. -5.2360679775
+ 1 3.2360679775 -3.2360679775 -3.2360679775
+ 1 3.2360679775 3.2360679775 -3.2360679775
+ 1 3.2360679775 -3.2360679775 3.2360679775
+ 1 3.2360679775 3.2360679775 3.2360679775
+ 1 3.2360679775 0. 5.2360679775
+ 1 5.2360679775 0. -2.
+ 1 5.2360679775 -3.2360679775 0.
+ 1 5.2360679775 3.2360679775 0.
+ 1 5.2360679775 0. 2.
+ 1 -2. 5.2360679775 0.
+ 1 0. 2. -5.2360679775
+ 1 0. 5.2360679775 -3.2360679775
+ 1 0. 5.2360679775 3.2360679775
+ 1 0. 2. 5.2360679775
+ 1 2. 5.2360679775 0.
+end
+