diff options
Diffstat (limited to 'demos/ppl_lcdd/examples/redcheck.ext')
-rw-r--r-- | demos/ppl_lcdd/examples/redcheck.ext | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/demos/ppl_lcdd/examples/redcheck.ext b/demos/ppl_lcdd/examples/redcheck.ext new file mode 100644 index 000000000..e970c4298 --- /dev/null +++ b/demos/ppl_lcdd/examples/redcheck.ext @@ -0,0 +1,11 @@ +V-representation +begin + 7 3 integer + 1 0 0 + 1 2 0 + 1 0 2 + 1 1 1 + 1 2 1 + 1 1 2 + 1 2 2 +end |