Added cddlib-094h from http://www.inf.ethz.ch/personal/fukudak/cdd_home/
Change-Id: I64519509269e434b1b9ea87c3fe0805e711c0ac9
diff --git a/third_party/cddlib/examples-ine/cube10.ine b/third_party/cddlib/examples-ine/cube10.ine
new file mode 100644
index 0000000..b2094a5
--- /dev/null
+++ b/third_party/cddlib/examples-ine/cube10.ine
@@ -0,0 +1,27 @@
+H-representation
+begin
+ 20 11 integer
+ 1 0 0 0 0 0 0 0 0 0 1
+ 1 1 0 0 0 0 0 0 0 0 0
+ 1 0 1 0 0 0 0 0 0 0 0
+ 1 0 0 1 0 0 0 0 0 0 0
+ 1 0 0 0 1 0 0 0 0 0 0
+ 1 0 0 0 0 1 0 0 0 0 0
+ 1 0 0 0 0 0 1 0 0 0 0
+ 1 0 0 0 0 0 0 1 0 0 0
+ 1 0 0 0 0 0 0 0 1 0 0
+ 1 0 0 0 0 0 0 0 0 1 0
+ 1 0 0 0 0 0 0 0 0 0 -1
+ 1 0 0 0 0 0 0 0 0 -1 0
+ 1 0 0 0 0 0 0 0 -1 0 0
+ 1 0 0 0 0 0 0 -1 0 0 0
+ 1 0 0 0 0 0 -1 0 0 0 0
+ 1 0 0 0 0 -1 0 0 0 0 0
+ 1 0 0 0 -1 0 0 0 0 0 0
+ 1 0 0 -1 0 0 0 0 0 0 0
+ 1 0 -1 0 0 0 0 0 0 0 0
+ -2 -1 0 0 0 0 0 0 0 0 0
+end
+minimize
+ -2 -1 0 0 0 0 0 0 0 0 0
+