summaryrefslogtreecommitdiff
path: root/omega/examples/old_test/foo2.oc-rt
blob: c8f0209ffc629143820d0a887d255d82d3ba2d76 (plain)
1
2
3
4
5
6
7
8
# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000):
# hull( {[1,1]} union
#  {[In_1,In_1]: 2 <= In_1});

{[In_1,In_1]: 1 <= In_1}

# 
#