commit 405fa6cbf3aee8a83be0de6fe7c950072d713e35
author Austin Schuh <austin@peloton-tech.com> Sun Sep 06 18:13:55 2015 -0700
committer Austin Schuh <austin@peloton-tech.com> Sun Sep 06 18:16:15 2015 -0700
tree 6fe708f268e614da9baec77a4dfc4e2a276f8ffc
parent d7786b2a25d9f0e66f568d9da23472795532d4c4

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

Change-Id: I64519509269e434b1b9ea87c3fe0805e711c0ac9

third_party/cddlib/examples-ext/ccc6.ext

diff --git a/third_party/cddlib/examples-ext/ccc6.ext b/third_party/cddlib/examples-ext/ccc6.ext
new file mode 100644
index 0000000..ba4551a
--- /dev/null
+++ b/third_party/cddlib/examples-ext/ccc6.ext
@@ -0,0 +1,38 @@
+* file name: ccc6.ext
+* Complete cut cone on 6 vertices
+* The number of facets is 210.
+V-representation
+begin
+  31  16   integer
+0   1 1 1 1 1 0 0 0 0 0 0 0 0 0 0
+0   0 1 1 1 1 1 1 1 1 0 0 0 0 0 0
+0   1 0 1 1 1 1 0 0 0 1 1 1 0 0 0
+0   1 1 0 1 1 0 1 0 0 1 0 0 1 1 0
+0   1 1 1 0 1 0 0 1 0 0 1 0 1 0 1
+0   1 1 1 1 0 0 0 0 1 0 0 1 0 1 1
+0   0 0 1 1 1 0 1 1 1 1 1 1 0 0 0
+0   0 1 0 1 1 1 0 1 1 1 0 0 1 1 0
+0   0 1 1 0 1 1 1 0 1 0 1 0 1 0 1
+0   0 1 1 1 0 1 1 1 0 0 0 1 0 1 1
+0   1 0 0 1 1 1 1 0 0 0 1 1 1 1 0
+0   1 0 1 0 1 1 0 1 0 1 0 1 1 0 1
+0   1 0 1 1 0 1 0 0 1 1 1 0 0 1 1
+0   1 1 0 0 1 0 1 1 0 1 1 0 0 1 1
+0   1 1 0 1 0 0 1 0 1 1 0 1 1 0 1
+0   1 1 1 0 0 0 0 1 1 0 1 1 1 1 0
+0   0 0 0 1 1 0 0 1 1 0 1 1 1 1 0
+0   0 0 1 0 1 0 1 0 1 1 0 1 1 0 1
+0   0 0 1 1 0 0 1 1 0 1 1 0 0 1 1
+0   0 1 0 0 1 1 0 0 1 1 1 0 0 1 1
+0   0 1 0 1 0 1 0 1 0 1 0 1 1 0 1
+0   0 1 1 0 0 1 1 0 0 0 1 1 1 1 0
+0   1 0 0 0 1 1 1 1 0 0 0 1 0 1 1
+0   1 0 0 1 0 1 1 0 1 0 1 0 1 0 1
+0   1 0 1 0 0 1 0 1 1 1 0 0 1 1 0
+0   1 1 0 0 0 0 1 1 1 1 1 1 0 0 0
+0   0 0 0 0 1 0 0 0 1 0 0 1 0 1 1
+0   0 0 0 1 0 0 0 1 0 0 1 0 1 0 1
+0   0 0 1 0 0 0 1 0 0 1 0 0 1 1 0
+0   0 1 0 0 0 1 0 0 0 1 1 1 0 0 0
+0   1 0 0 0 0 1 1 1 1 0 0 0 0 0 0
+end