Added cddlib-094h from http://www.inf.ethz.ch/personal/fukudak/cdd_home/

Change-Id: I64519509269e434b1b9ea87c3fe0805e711c0ac9
diff --git a/third_party/cddlib/examples/samplelp1.ine b/third_party/cddlib/examples/samplelp1.ine
new file mode 100644
index 0000000..92779f3
--- /dev/null
+++ b/third_party/cddlib/examples/samplelp1.ine
@@ -0,0 +1,15 @@
+* file name: samplelp1.ine
+* LP
+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
+maximize
+ 0  1  1  1
+