diff options
Diffstat (limited to 'demos/ppl_lcdd/examples/project1res.ine')
| -rw-r--r-- | demos/ppl_lcdd/examples/project1res.ine | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/demos/ppl_lcdd/examples/project1res.ine b/demos/ppl_lcdd/examples/project1res.ine new file mode 100644 index 000000000..d89603ee8 --- /dev/null +++ b/demos/ppl_lcdd/examples/project1res.ine @@ -0,0 +1,18 @@ +H-representation +begin +14 4 integer + 5 -1 -1 1 + 2 0 0 1 + 5 -1 1 1 + 5 1 -1 1 + 2 1 0 0 + 5 1 1 1 + 5 1 1 -1 + 5 1 -1 -1 + 2 0 1 0 + 5 -1 1 -1 + 2 0 0 -1 + 5 -1 -1 -1 + 2 0 -1 0 + 2 -1 0 0 +end |