diff options
Diffstat (limited to 'omegalib/examples/old_test/p9')
| -rw-r--r-- | omegalib/examples/old_test/p9 | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/omegalib/examples/old_test/p9 b/omegalib/examples/old_test/p9 new file mode 100644 index 0000000..8f38d36 --- /dev/null +++ b/omegalib/examples/old_test/p9 @@ -0,0 +1,7 @@ +symbolic lot_E; +{[k_w,l_w] -> [k_r,l_r] : +1 <= k_r <= 12 and +1 <= l_r <= lot_E and +2k_r+96l_r = 12+2k_w+96l_w and +1 <= k_w <= 3 and +1 <= l_w <= lot_E}; |