path: root/omegalib/examples/old_test/pufs1

symbolic n(1);
{ [i] -> [j] : 1 <= i  <= j <= 100 && n(i) != n(j)};