var -10..10: x; constraint x in 0..4; int: y = lb(x); set of int: D = dom(x); solve satisfy; output ["y = ", show(y), "\nD = ", show(D), "\n"];