omega/examples/old_test/p11.oc-rt


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

# Omega Calculator v1.2 (based on Omega Library 1.2, August, 2000):
# {[i] : 1 <= i <=  10
# 	&& ! i = 3
# 	&& ! i = 2
# 	&& ! i = 4
# 	&& ! i = 7
# 	&& ! i = 6
# 	&& ! i = 8
# };

{[1]} union
 {[5]} union
 {[i]: 9 <= i <= 10}

# 
# 
#