omegalib/examples/old_test/dagstuhl2.oc-rt


1
2
3
4
5
6
7
8
9
10
11

# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000):
# {[i,j] : 
# 	2i+6j>=9
# 	&& 5i-3j >= 0
# 	&& 2i-10j >= -15
# 	&& -2i+6j >= 3
# 	&& -2i-6j >= -17};

{[i,j]  : FALSE }

#