| commit | 405fa6cbf3aee8a83be0de6fe7c950072d713e35 | [log] [tgz] |
|---|---|---|
| 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 [diff] [blame] |
Added cddlib-094h from http://www.inf.ethz.ch/personal/fukudak/cdd_home/ Change-Id: I64519509269e434b1b9ea87c3fe0805e711c0ac9
diff --git a/third_party/cddlib/examples-ine/cube6.ine b/third_party/cddlib/examples-ine/cube6.ine new file mode 100644 index 0000000..98b2553 --- /dev/null +++ b/third_party/cddlib/examples-ine/cube6.ine
@@ -0,0 +1,17 @@ +* 6-dim hypercube +H-representation +begin + 12 7 integer + 1 1 0 0 0 0 0 + 1 0 1 0 0 0 0 + 1 0 0 1 0 0 0 + 1 0 0 0 1 0 0 + 1 0 0 0 0 1 0 + 1 0 0 0 0 0 1 + 1 -1 0 0 0 0 0 + 1 0 -1 0 0 0 0 + 1 0 0 -1 0 0 0 + 1 0 0 0 -1 0 0 + 1 0 0 0 0 -1 0 + 1 0 0 0 0 0 -1 +end