DEBSOURCES
Skip Quicknav
sources / lrslib / 0.73-4 / smt / examples / test / cube-1.ext
12345678910111213
cube-1 * 1 1 1 1 V-representation begin 7 4 rational 1 0 1 1 1 1 0 1 1 0 0 1 1 1 1 0 1 0 1 0 1 1 0 0 1 0 0 0 end