Added cddlib-094h from http://www.inf.ethz.ch/personal/fukudak/cdd_home/
Change-Id: I64519509269e434b1b9ea87c3fe0805e711c0ac9
diff --git a/third_party/cddlib/examples-ine3d/cube3.ine b/third_party/cddlib/examples-ine3d/cube3.ine
new file mode 100644
index 0000000..0e0db06
--- /dev/null
+++ b/third_party/cddlib/examples-ine3d/cube3.ine
@@ -0,0 +1,12 @@
+filename: cube3.ine
+Hypercube of dimension 3
+H-representation
+begin
+ 6 4 integer
+ 1 1 0 0
+ 1 0 1 0
+ 1 0 0 1
+ 1 -1 0 0
+ 1 0 -1 0
+ 1 0 0 -1
+end
diff --git a/third_party/cddlib/examples-ine3d/cubocta.ine b/third_party/cddlib/examples-ine3d/cubocta.ine
new file mode 100644
index 0000000..954666c
--- /dev/null
+++ b/third_party/cddlib/examples-ine3d/cubocta.ine
@@ -0,0 +1,20 @@
+filename: cubocta.ine
+Cuboctahedron
+H-representation
+begin
+ 14 4 integer
+ 1 1 0 0
+ 1 0 1 0
+ 1 0 0 1
+ 1 -1 0 0
+ 1 0 -1 0
+ 1 0 0 -1
+ 2 1 1 1
+ 2 -1 1 1
+ 2 1 -1 1
+ 2 1 1 -1
+ 2 -1 -1 1
+ 2 1 -1 -1
+ 2 -1 1 -1
+ 2 -1 -1 -1
+end
diff --git a/third_party/cddlib/examples-ine3d/dodeca.ine b/third_party/cddlib/examples-ine3d/dodeca.ine
new file mode 100644
index 0000000..ccf941b
--- /dev/null
+++ b/third_party/cddlib/examples-ine3d/dodeca.ine
@@ -0,0 +1,18 @@
+filename: dodeca.ine
+dodecahedron inequalities
+H-representation
+begin
+12 4 real
+ 1 0 -0.61803398874989485 -1.
+ 1 -1. 0 -0.61803398874989485
+ 1 -0.61803398874989485 -1. 0
+ 1 0 0.61803398874989485 1.
+ 1 1. 0 0.61803398874989485
+ 1 0.61803398874989485 1. 0
+ 1 0 0.61803398874989485 -1.
+ 1 -1. 0 0.61803398874989485
+ 1 0.61803398874989485 -1. 0
+ 1 0 -0.61803398874989485 1.
+ 1 1. 0 -0.61803398874989485
+ 1 -0.61803398874989485 1. 0
+end
diff --git a/third_party/cddlib/examples-ine3d/grcubocta.ine b/third_party/cddlib/examples-ine3d/grcubocta.ine
new file mode 100644
index 0000000..9e7bf55
--- /dev/null
+++ b/third_party/cddlib/examples-ine3d/grcubocta.ine
@@ -0,0 +1,32 @@
+filename: grcubocta.ine
+Great rhombicuboctahedron
+H-representation
+begin
+ 26 4 integer
+ 1 1 0 0
+ 1 0 1 0
+ 1 0 0 1
+ 1 -1 0 0
+ 1 0 -1 0
+ 1 0 0 -1
+ 2 1 1 1
+ 2 -1 1 1
+ 2 1 -1 1
+ 2 1 1 -1
+ 2 -1 -1 1
+ 2 1 -1 -1
+ 2 -1 1 -1
+ 2 -1 -1 -1
+ 5 3 3 0
+ 5 0 3 3
+ 5 3 0 3
+ 5 -3 3 0
+ 5 0 -3 3
+ 5 3 0 -3
+ 5 3 -3 0
+ 5 0 3 -3
+ 5 -3 0 3
+ 5 -3 -3 0
+ 5 0 -3 -3
+ 5 -3 0 -3
+end
diff --git a/third_party/cddlib/examples-ine3d/hexocta.ine b/third_party/cddlib/examples-ine3d/hexocta.ine
new file mode 100644
index 0000000..6054e1c
--- /dev/null
+++ b/third_party/cddlib/examples-ine3d/hexocta.ine
@@ -0,0 +1,55 @@
+filename: hexocta.ine
+Hexakis octahedron
+H-representation
+begin
+ 48 4 integer
+ 3 -3 1 -2
+ 3 -2 -1 -3
+ 3 -2 1 -3
+ 3 -3 -1 -2
+ 3 -2 3 -1
+ 3 -2 3 1
+ 3 -3 2 -1
+ 3 -3 2 1
+ 3 1 -3 2
+ 3 1 -2 3
+ 3 -1 -3 2
+ 3 -1 -2 3
+ 3 1 2 3
+ 3 1 3 2
+ 3 -1 2 3
+ 3 -1 3 2
+ 3 3 1 -2
+ 3 2 -1 -3
+ 3 3 -1 -2
+ 3 2 1 -3
+ 3 2 3 -1
+ 3 3 2 -1
+ 3 2 3 1
+ 3 3 2 1
+ 3 2 1 3
+ 3 3 -1 2
+ 3 2 -1 3
+ 3 3 1 2
+ 3 2 -3 1
+ 3 2 -3 -1
+ 3 3 -2 1
+ 3 3 -2 -1
+ 3 -1 3 -2
+ 3 -1 2 -3
+ 3 1 3 -2
+ 3 1 2 -3
+ 3 -1 -2 -3
+ 3 -1 -3 -2
+ 3 1 -2 -3
+ 3 1 -3 -2
+ 3 -3 -1 2
+ 3 -2 1 3
+ 3 -2 -1 3
+ 3 -3 1 2
+ 3 -2 -3 1
+ 3 -2 -3 -1
+ 3 -3 -2 1
+ 3 -3 -2 -1
+end
+
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
+
diff --git a/third_party/cddlib/examples-ine3d/rcubocta.ine b/third_party/cddlib/examples-ine3d/rcubocta.ine
new file mode 100644
index 0000000..a2d8231
--- /dev/null
+++ b/third_party/cddlib/examples-ine3d/rcubocta.ine
@@ -0,0 +1,32 @@
+filename: rcubocta.ine
+Rhombicuboctahedron
+H-representation
+begin
+ 26 4 integer
+ 1 1 0 0
+ 1 0 1 0
+ 1 0 0 1
+ 1 -1 0 0
+ 1 0 -1 0
+ 1 0 0 -1
+ 2 1 1 1
+ 2 -1 1 1
+ 2 1 -1 1
+ 2 1 1 -1
+ 2 -1 -1 1
+ 2 1 -1 -1
+ 2 -1 1 -1
+ 2 -1 -1 -1
+ 3 2 2 0
+ 3 0 2 2
+ 3 2 0 2
+ 3 -2 2 0
+ 3 0 -2 2
+ 3 2 0 -2
+ 3 2 -2 0
+ 3 0 2 -2
+ 3 -2 0 2
+ 3 -2 -2 0
+ 3 0 -2 -2
+ 3 -2 0 -2
+end
diff --git a/third_party/cddlib/examples-ine3d/rhomtria.ine b/third_party/cddlib/examples-ine3d/rhomtria.ine
new file mode 100644
index 0000000..5cc36cf
--- /dev/null
+++ b/third_party/cddlib/examples-ine3d/rhomtria.ine
@@ -0,0 +1,36 @@
+Rhombic Triacontahedron
+H-representation
+begin
+ 30 4 real
+ .1 -1.54508497e-01 5.90169944e-02 -9.54915028e-02
+ .1 -9.54915028e-02 1.54508497e-01 -5.90169944e-02
+ .1 -9.54915028e-02 1.54508497e-01 5.90169944e-02
+ .1 -5.90169944e-02 -9.54915028e-02 1.54508497e-01
+ .1 0 0 1.90983006e-01
+ .1 -5.90169944e-02 9.54915028e-02 1.54508497e-01
+ .1 0 1.90983006e-01 0
+ .1 9.54915028e-02 -1.54508497e-01 5.90169944e-02
+ .1 5.90169944e-02 -9.54915028e-02 1.54508497e-01
+ .1 5.90169944e-02 9.54915028e-02 -1.54508497e-01
+ .1 9.54915028e-02 1.54508497e-01 -5.90169944e-02
+ .1 1.54508497e-01 -5.90169944e-02 -9.54915028e-02
+ .1 1.54508497e-01 5.90169944e-02 -9.54915028e-02
+ .1 1.90983006e-01 0 0
+ .1 1.54508497e-01 5.90169944e-02 9.54915028e-02
+ .1 1.54508497e-01 -5.90169944e-02 9.54915028e-02
+ .1 9.54915028e-02 1.54508497e-01 5.90169944e-02
+ .1 5.90169944e-02 9.54915028e-02 1.54508497e-01
+ .1 5.90169944e-02 -9.54915028e-02 -1.54508497e-01
+ .1 9.54915028e-02 -1.54508497e-01 -5.90169944e-02
+ .1 0 -1.90983006e-01 0
+ .1 -5.90169944e-02 9.54915028e-02 -1.54508497e-01
+ .1 0 0 -1.90983006e-01
+ .1 -5.90169944e-02 -9.54915028e-02 -1.54508497e-01
+ .1 -1.54508497e-01 5.90169944e-02 9.54915028e-02
+ .1 -1.54508497e-01 -5.90169944e-02 9.54915028e-02
+ .1 -9.54915028e-02 -1.54508497e-01 -5.90169944e-02
+ .1 -9.54915028e-02 -1.54508497e-01 5.90169944e-02
+ .1 -1.54508497e-01 -5.90169944e-02 -9.54915028e-02
+ .1 -1.90983006e-01 0 0
+end
+