# These are the examples from the documentation for the
# C++ interface to the Omega Library.
#
symbolic n, m, F(1);

S1 := { [t] : 1 <= t <= n };
S2 := { [x] : (0 <= x <= 100 and
               exists (y : 2n <= y <= x and exists (z : y = 2*z+1)))
               or x = 17 };
 
R := { [i,j] -> [i',j'] : 1 <= i <= i' <= n and not (F(In) = F(Out))
                          and 1 <= j, j' <= m };
S1;
S2;
R;